Definition

Let be any set

Then the complement of set , denoted by is the set of all elements in the universal set that is not in .