cardinality of sets formula