Lecture 4
Lecture 4
In set theory, the complement of a set A, often denoted by A∁ (or A′), is the set
of elements not in A.
When all sets in the universe, i.e. all sets under consideration, are considered to
be members of a given set U, the absolute complement of A is the set of
elements in U that are not in A.
The relative complement of A with respect to a set B, also termed the set
difference of B and A, written B ∖A, is the set of elements in B that are not in A.
Absolute complement
Definition[edit]
If A is a set, then the absolute complement of A (or simply the complement
of A) is the set of elements not in A (within a larger set that is implicitly
defined). In other words, let U be a set that contains all the elements under
study; if there is no need to mention U, either because it has been previously
specified, or it is obvious and unique, then the absolute complement of A is the
relative complement of A in U.
Relative complement
Definition[edit]
If A and B are sets, then the relative complement of A in B, also termed the set
difference of B and A, is the set of elements in B but not in A.
The relative complement of A in B is denoted B∖A according to the ISO 31-11
standard. It is sometimes written B−A,
Formally:
De Morgan’s Law
De Morgan’s Law is applicable in relating the union and intersection of two sets via
their complements. There are two laws under De Morgan’s Law. Let’s learn them
briefly
De Morgan’s Law of Union
De Morgan’s Law of Union states that the complement of the union of two sets is
equal to the intersection of the complement of individual sets. Mathematically it can
be expressed as
(A ∪ B)’ = A’ ∩ B’
De Morgan’s Law of Intersection
De Morgan’s Law of Intersection states that the complement of the intersection of two
sets is equal to the union of the complement of individual sets. Mathematically it can
be expressed as
(A ∩ B)’ = A’ ∪ B’