cardinality mathematica