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