transitive set
in set theory, a set whose elements are all subsets
transitive closure
operation on sets
transitive model
model of set theory
admissible set
in mathematical logic, a transitive set satisfying the axioms of Kripke-Platek set theory
in set theory, a set whose elements are all subsets