transitive set
Meanings
noun
- Any set X such that for any x ∈ X, if y ∈ x then y ∈ X; equivalently, such that if x ∈ X and x is not an urelement then x ⊆ X.
Word forms
Derived words
Previous
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.