cardinality of a set notation