transitive set
transitive set · transitive sets
Any set X such that for any x ∈ X, if y ∈ x then y ∈ XAny 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.
Meaning
1 sensesAny 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.
Forms
plural: transitive sets| Singular | transitive set |
|---|---|
| Plural | transitive sets |
regular
Word family
1 related wordsDerivedtransitive closure