A collection of collections of sets or collections. Each instance of cardinality is the collection of all set-or-collections with a particular cardinality, ranging from 0 (see empty set or collection) to aleph-0 or plus infinity (see infinite thing). For cardinalities not explicitly represented as reified collections, use Cardinality Type Fn.