Table 5.2.1 - Subset Relations

Next: Theorem 5.2.2 - Set Up: exam2b Previous: Other Equivalences and Other

Table 5.2.1 - Subset Relations

Given any sets , , and :

1. Inclusion for Intersection: $(A \cap B) \subseteq A$

$(A \cap B) \subseteq B$

2. Inclusion for Union: $A \subseteq (A \cup B)$

$B \subseteq (A \cup B)$

3. Transitive Property of Subsets: $(A \subseteq B)\wedge (B \subseteq C) \rightarrow A \subseteq C$

Chang Hu 2006-05-14

Web Accessibility

Given any sets , , and :
1. Inclusion for Intersection:	$(A \cap B) \subseteq A$
	$(A \cap B) \subseteq B$
2. Inclusion for Union:	$A \subseteq (A \cup B)$
	$B \subseteq (A \cup B)$
3. Transitive Property of Subsets:	$(A \subseteq B)\wedge (B \subseteq C) \rightarrow A \subseteq C$