cumulative hierarchy

family of sets indexed by ordinal numbers