cardinality operations and sets 8246651