This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
cs-401r:set-theory-identities [2014/09/09 20:57] ringger |
cs-401r:set-theory-identities [2014/10/06 07:08] (current) ringger [Further Reference] |
||
---|---|---|---|
Line 25: | Line 25: | ||
\begin{align} | \begin{align} | ||
B - A \equiv B \cap \overline{A} \qquad & \mbox{Definition of set difference} \\ | 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) \equiv R | + | \left(R \cap S\right) \cup \left(R \cap \overline{S}\right) = R |
\end{align} | \end{align} | ||
== Further Reference == | == 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: | ||
[http://en.wikipedia.org/wiki/Algebra_of_sets Article on the "algebra of sets" on Wikipedia.] | [http://en.wikipedia.org/wiki/Algebra_of_sets Article on the "algebra of sets" on Wikipedia.] | ||
+ | |||