navigation
search
Differences
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/10 02:57] ringger |
cs-401r:set-theory-identities [2014/10/06 13: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.] | ||
| + | |||
