Supertransitive class

From testwiki
Revision as of 10:06, 1 June 2023 by imported>Finlay McWalter (→See also: per WP:SEEALSO, avoid repeating links in this section)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description In set theory, a supertransitive class is a transitive class[1] 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→𝒫(x)⊆A).[2]

Here P(x) denotes the power set of x.[3]

See also

Template:Div col

Template:Div col end

References

Template:Reflist

  1. ↑ Any element of a transitive set must also be its subset. See Definition 7.1 of Template:Cite book
  2. ↑ See Definition 9.8 of Template:Cite book
  3. ↑ P(x) must be a set by axiom of power set, since each element x of a class A must be a set (Theorem 4.6 in Takeuti's text above).
Retrieved from "https://en.wiki.beta.math.wmflabs.org/w/index.php?title=Supertransitive_class&oldid=40132"