cardinality math concept