Complement Of A Set

What Is the Complement of a Set?

The complement of a set, which we can call set $A$, is the collection of all elements within a larger, defined group called the universal set ($U$) that are not in set $A$. In simpler terms, if you have a big box of things (the universal set) and a smaller circle of things inside it (set $A$), the complement of $A$ is everything in the box that is outside of that circle.

Think about the English alphabet. Let's say our universal set $U$ is all 26 letters. Now, let's define a set $V$ as the set of vowels: $V=\{a,e,i,o,u\}$. The complement of $V$, which we write as $V^{\prime }$, would be every letter in the alphabet that is not a vowel. In other words, $V^{\prime }$ is the set of all consonants: $V^{\prime }=\{b,c,d,f,g,h,j,k,l,m,n,p,q,r,s,t,v,w,x,y,z\}$.

This idea is fundamental to set theory because it allows us to talk about what a set *is not*, which can be just as important as what it *is*. The concept hinges entirely on having a clearly defined universal set, which acts as the boundary for our problem.

Why Is the Universal Set So Important?

The universal set, often denoted by the capital letter $U$, is the master set that contains all the elements relevant to a particular problem. Without defining $U$, the idea of a complement is meaningless because we wouldn't know what 'everything else' refers to. The complement is always relative to its universal set.

Let's see how changing the universal set can completely change the complement of the exact same set.

Consider the set $A=\{2,4,6\}$.

• Scenario 1: Let the universal set be the first ten positive integers. $U=\{1,2,3,4,5,6,7,8,9,10\}$. To find the complement of $A$ (written as $A^{\prime }$), we take all the elements in $U$ that are not in $A$. In this case, $A^{\prime }=\{1,3,5,7,8,9,10\}$.
• Scenario 2: Now, let's change the universal set. Let $U$ be the set of all positive even integers less than 14. $U=\{2,4,6,8,10,12\}$. Our set $A=\{2,4,6\}$ is still the same. But now, its complement $A^{\prime }$ is the set of elements in this new $U$ that are not in $A$. So, $A^{\prime }=\{8,10,12\}$.

As you can see, the result for $A^{\prime }$ is completely different in each scenario. This is why the very first step in any problem involving complements is to identify and understand the universal set. It sets the rules and boundaries for everything you do.

How Do We Write the Complement of a Set?

In mathematics, we use specific notation to keep our language precise. There are a few common ways to denote the complement of a set $A$:

• $A^{\prime }$ (read as "A prime") - This is the most common notation in many high school textbooks.
• $A^c$ (read as "A complement") - This is also very common, especially in higher-level mathematics.
• $\overline{A}$ (read as "A bar") - You might see this in logic and other specific fields.

For our purposes, we will primarily use the $A^{\prime }$ notation. All these symbols mean the exact same thing: "the set of elements not in $A$".

The formal definition of a complement is expressed using what's called set-builder notation. It looks a bit intimidating at first, but it's quite simple once you break it down.

Let's translate this mathematical sentence into English:

• $A^{\prime }=$ means "The complement of A is..."
• $\{\dots \}$ means "...the set of..."
• $x$ is just a placeholder for any element.
• $\in U$ means "...an element that belongs to the universal set U..."
• $\mid$ is a divider that means "...such that..."
• $x\notin A$ means "...the element x does not belong to set A."

Putting it all together, the formula says: "The complement of A is the set of all elements x in the universal set U such that x is not an element of set A." This is the precise, mathematical way of stating the definition we've been using.

How Do You Find the Complement of a Set?

Finding the complement of a set is a straightforward process of comparison and elimination. Here is a reliable step-by-step method you can follow every time.

1. Identify the Universal Set ($U$). Read the problem carefully to determine what the universal set is. This is your complete list of all possible elements.
2. Identify the Set ($A$). Determine the specific set for which you need to find the complement. List out its elements.
3. Compare the Sets. Look at each element in the universal set $U$, one by one.
4. Build the Complement Set ($A^{\prime }$). For each element from $U$, ask yourself: "Is this element also in set $A$?" If the answer is NO, then that element belongs in the complement, $A^{\prime }$. If the answer is YES, you ignore it.
5. Write the Final Answer. The new set you've built, containing all the elements from $U$ that were not in $A$, is your final answer for $A^{\prime }$.

Can We See More Examples?

Certainly! Working through more examples is the best way to solidify your understanding. Here are a couple more, ranging from words to more complex numbers.

How Do Venn Diagrams Show Complements?

Venn diagrams are a fantastic way to visualize relationships between sets, and they make the concept of a complement very intuitive. A Venn diagram for a single set and its complement has two main parts:

• A rectangle: This represents the universal set, $U$. Everything that exists in our problem lives inside this rectangle.
• A circle: Inside the rectangle, we draw a circle to represent our set, $A$. All the elements of $A$ are inside this circle.

So, where is the complement, $A^{\prime }$? The complement is every part of the rectangle that is outside of the circle. If you were to shade in the complement, you would color the entire box, but leave the circle uncolored. This shaded area visually represents all the elements that are in $U$ but not in $A$.

Here is a table to summarize the visual components:

Using a Venn diagram can help you quickly check your work. If you place all the elements of $U$ into the diagram (either inside the circle for $A$ or outside for $A^{\prime }$), the elements outside the circle should match your calculated complement.

What Are the Key Properties of Complements?

Complements have several logical properties that are always true. Understanding these rules can help you solve more complex problems and check your work. Let $A$ be any set within the universal set $U$.

• Complement Laws: These two properties describe how a set and its complement interact.
  • $A\cup A^{\prime }=U$: The union of a set and its complement is the entire universal set. If you combine everything in $A$ with everything not in $A$, you get everything.
  • $A\cap A^{\prime }=\mathrm{\varnothing }$: The intersection of a set and its complement is the empty set. A set and its complement have no elements in common by definition.
• Double Complement Law (Involution):
  • $(A^{\prime }{)}^{\prime }=A$: The complement of the complement is the original set. If you find everything not in $A$, and then find everything not in *that* new set, you end up right back where you started with set $A$.
• Complements of Universal and Empty Sets:
  • $U^{\prime }=\mathrm{\varnothing }$: The complement of the universal set is the empty set. Since $U$ contains everything, there is nothing left outside of it.
  • ${\mathrm{\varnothing }}^{\prime }=U$: The complement of the empty set is the universal set. Since the empty set contains nothing, its complement must contain everything.
• De Morgan's Laws (Advanced): These laws describe how complements work with unions and intersections of two sets, $A$ and $B$.
  • $(A\cup B{)}^{\prime }=A^{\prime }\cap B^{\prime }$: The complement of the union of A and B is the intersection of their complements. (Everything not in A or B is the same as things that are not in A AND not in B).
  • $(A\cap B{)}^{\prime }=A^{\prime }\cup B^{\prime }$: The complement of the intersection of A and B is the union of their complements. (Everything not in both A and B is the same as things that are not in A OR not in B).

What Are Some Common Mistakes When Finding Complements?

When you're first learning about complements, there are a few common pitfalls to watch out for. Being aware of them is the best way to avoid them!

1. Forgetting or Ignoring the Universal Set ($U$): This is the most frequent error. Students will sometimes list all numbers they can think of that aren't in set $A$, instead of limiting their answer to only the elements available in $U$. Always start by writing down $U$.
2. Including Elements of $A$ in $A^{\prime }$: The definition of a complement is everything *not* in the set. Double-check your final answer to make sure there are no overlapping elements between $A$ and $A^{\prime }$. Their intersection must be the empty set, $\mathrm{\varnothing }$.
3. Confusing Complement with Set Difference: The complement of $A$ is a specific type of set difference: $U-A$. Don't confuse it with the difference between two arbitrary sets, like $B-A$, which means "start with set $B$ and remove any elements that are also in A\". The complement always involves subtracting from the universal set.
4. Incorrectly Handling the Empty Set: Remember that the complement of the empty set (${\mathrm{\varnothing }}^{\prime }$) is not empty; it's the entire universal set $U$. Conversely, the complement of the whole universal set ($U^{\prime }$) is the empty set $\mathrm{\varnothing }$.

Quick Summary: Complement of a Set

Here's a quick reference guide to the most important points about the complement of a set.

• Definition: The complement of a set $A$ contains all the elements from the universal set $U$ that are not in set $A$.
• Notation: The most common symbols for the complement of $A$ are $A^{\prime }$ (A prime) and $A^c$ (A complement).
• Core Formula: In set-builder notation, $A^{\prime }=\{x\in U\mid x\notin A\}$.
• The Golden Rule: The complement is always defined relative to its universal set. If you change $U$, you change the complement.
• Venn Diagram: The complement $A^{\prime }$ is visually represented by the area inside the universal set's rectangle but outside of set $A$'s circle.
• Key Relationship: A set and its complement have no elements in common ($A\cap A^{\prime }=\mathrm{\varnothing }$) and together they make up the entire universal set ($A\cup A^{\prime }=U$).