cardinality of set notation