cardinality complement element member pair partition set subset superset tuple union universe