mathematical cardinality