mathswitch — infrastructure for relaying and exchanging mathematical concepts

cumulative hierarchy

family of sets indexed by ordinal numbers

Wikipedia (English): Cumulative_hierarchy
Wikidata: cumulative hierarchy
nLab: cumulative hierarchy