Type of numerable quantity.
Measure of the “number of elements of the set”, either as a cardinal number or as the equivalence class of sets admitting bijections to this set.