Transitive

From Cantor's Attic
Revision as of 11:53, 24 August 2021 by BartekChom (Talk | contribs) (Category:The cellar)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

A set is transitive if and only if all of its elements are subsets of it.

Equivalently, a set $A$ is transitive if and only if:

  • it contains its union
  • the powerset of $A$ contains $A$
  • all members of the members of $A$ are members of $A$

Properties of Transitive Sets

If $A$ is transitive, then if $x$ and $A$ are connected somehow by membership (that is, $x \in y \in z \ldots \in A$), then $x \in A$.

The intersection of two transitive sets is transitive.

In set theory, transitive sets play an important role in models of ZFC. See transitive ZFC model.