Set subtraction

Definition

Given two sets, $A$ and $B$ we define set subtraction as follows:

• $A-B=\{x\in A\vert x\notin B\}$

Equivalent definitions

[Expand]

• $A-B=(A^c\cup B)^c$

---

---

TODO: Be bothered to do this

---

Other names

• Relative complement
  • This comes from the fact that the complement of a subset of $X$, $A$ is just $X-A$

Notations

Other notations include:

• $A\setminus B$

Trivial expressions for set subtraction

[Expand]

Claim: $(A-B)-C=A-(B\cup C)$

---

Proof:

• Note that $A-B=(A^c\cup B)^c$ so $(A-B)-C = ((A-B)^c\cup B)^c =(((A^c\cup B)^c)^c\cup C)^c$
  • But: $(A^c)^c=A$ so:
    • $(A-B)-C=(A^c\cup B\cup C)^c=(A^c\cup(B\cup C))^c=A-(B\cup C)$

---

TODO: Make this proof neat

---

See also

• Set complement

References

---

TODO: Find references

---