cardinality of set formula