Subset Relation Theorem 6.2.1 Inclusion of Intersection A∩B⊆A A∩B⊆B Inclusion in Union A⊆A∪B B⊆A∪B Transitive Property of Subsets (A⊆B)∧(B⊆C)→A⊆C Set Identities Very similar to Logical Equivalence