Transitive set
From Wiki @ Karl Jones dot com
Revision as of 09:07, 17 September 2016 by Karl Jones (Talk | contribs) (Created page with "In set theory, a set A is '''transitive''', if and only if * whenever x ∈ A, and y ∈ x, then y ∈ A, or, equivalently, * whenever x ∈ A, and...")
In set theory, a set A is transitive, if and only if
- whenever x ∈ A, and y ∈ x, then y ∈ A, or, equivalently,
- whenever x ∈ A, and x is not an urelement, then x is a subset of A.
Similarly, a class M is transitive if every element of M is a subset of M.
See also
External links
- Transitive set @ Wikipedia.org
