cardinality
class
complement
element
limit
member
pair
partition
poset
powerset
set
subset
superset
tuple
union
universe
