transitive set
名词 n.
英文释义
名词 n.
- 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.
词形变化
0 次浏览
数据来源: Wiktionary