# Set Theory Identities

## Other Useful Identities

\begin{align} B - A \equiv B \cap \overline{A} \qquad & \mbox{Definition of set difference} \\ \left(R \cap S\right) \cup \left(R \cap \overline{S}\right) = R \end{align}

## Further Reference

You may use the identities available in the following Wikipedia article, as long as they are not the identity you are currently trying to prove: