cardinality of set difference