cardinality mathematics