Supertransitive class

Channel:

WikiReader

Subscribers:

9,560

Published on July 7, 2021 3:11:18 PM ● Video Link: https://www.youtube.com/watch?v=LnMNz5PF3gM

Duration: 0:03

0 views

0

In set theory, a supertransitive class is a transitive class which includes as a subset the power set of each of its elements.
Formally, let A be a transitive class. Then A is supertransitive if and only if




(
∀
x
)
(
x
∈
A
→


P


(
x
)
⊆
A
)
.


{\displaystyle (\forall x)(x\in A\to {\mathcal {P}}(x)\subseteq A).}
Here P(x) denotes the power set of x.

Source: https://en.wikipedia.org/wiki/Supertransitive_class
Created with WikipediaReaderReborn (c) WikipediaReader