Origin: Latin prefix trans-
Definition, synonyms and related words
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.