supertransitive (transitive + super-): Describing a transitive set that contains all subsets of all its elements