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.
Значение
значений: 1Any 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.
Формы
мн. число: transitive sets| Ед. число | transitive set |
|---|---|
| Мн. число | transitive sets |
правильный
Однокоренные
связанных слов: 1Производныеtransitive closure