Some Additional Laws For Unions and Intersections
The following proposition states six more important laws of set algebra, involving unions and intersections.
PROPOSITION 3: For any subsets A and B of a universal set U, the following identities hold:
- idempotent laws:
-
- domination laws:
-
- absorption laws:
-
As noted above each of the laws stated in proposition 3, can be derived from the five fundamental pairs of laws stated in proposition 1 and proposition 2. As an illustration, a proof is given below for the idempotent law for union.
Proof:
| by the identity law of intersection | ||
| by the complement law for union | ||
| by the distributive law of union over intersection | ||
| by the complement law for intersection | ||
| by the identity law for union |
The following proof illustrates that the dual of the above proof is the proof of the dual of the idempotent law for union, namely the idempotent law for intersection.
Proof:
| by the identity law for union | ||
| by the complement law for intersection | ||
| by the distributive law of intersection over union | ||
| by the complement law for union | ||
| by the identity law for intersection |
Intersection can be expressed in terms of union and set difference :
Read more about this topic: Algebra Of Sets
Famous quotes containing the words additional, laws and/or unions:
“The world will never be long without some good reason to hate the unhappy; their real faults are immediately detected, and if those are not sufficient to sink them into infamy, an additional weight of calumny will be superadded.”
—Samuel Johnson (1709–1784)
“Nature and nature’s laws lay hid in the night. God said, Let Newton be! and all was light!”
—Alexander Pope (1688–1744)
“When Hitler attacked the Jews ... I was not a Jew, therefore, I was not concerned. And when Hitler attacked the Catholics, I was not a Catholic, and therefore, I was not concerned. And when Hitler attacked the unions and the industrialists, I was not a member of the unions and I was not concerned. Then, Hitler attacked me and the Protestant church—and there was nobody left to be concerned.”
—Martin Niemller (1892–1984)