Set Theorem

Subset Relation

---

• Theorem 6.2.1

Inclusion of Intersection

$$A\cap B\subseteq A$$ $$A\cap B\subseteq B$$

Inclusion in Union

$$A\subseteq A\cup B$$ $$B\subseteq A\cup B$$

Transitive Property of Subsets

$$(A\subseteq B)\wedge (B\subseteq C)\to A\subseteq C$$

Set Identities

---

• Very similar to Logical Equivalence