cardinality, isSubset & corresponding tests