It is the set of all the elements present in the universal set that are not in a given set