Adjective
supertransitive (not comparable) (set theory) Describing a transitive set that contains all subsets of all its elements