The cardinality class of a set object's universe. More...
The cardinality class of a set object's universe.