1.Previous
3.Next

described in formalized set theory, the absolute complement of a set is generally not itself a set, but rather a proper class. For more info, see universal set.

Properties

Let and be two sets in a universe . The following identities capture important properties of absolute complements:

De Morgan's laws:
*
*

Complement laws:
*
*

1.Previous
3.Next