transitive set

Noun

 * 1)  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.