cardinality math def