English Dictionary

transitive set

名詞

(set theory) 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.

日本語の意味

集合論において、ある集合Xが推移的（transitive）であるとは、任意の元xがXに属しているとき、もしxがさらに元を含む集合であれば、その全ての元もXに属していることを意味する。 / すなわち、もしx ∈ Xかつxが空でない場合、xのすべての要素yについてもy ∈ Xとなる集合である。

A transitive set X contains every element of any of its members, making it useful in foundational set theory proofs.

推移集合Xは、任意のxがXに属しyがxに属するならばyもXに属するという性質を持つため、集合論の基礎的な証明で役立ちます。

意味（1）

(set theory) 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.

transitive sets （ plural ）