You do not have permission to edit this page, for the following reasons:

You can view and copy the source of this page.

Templates used on this page:

- Cartesian product (view source)
- Equality (pairs) (view source)
- Induction overview (view source)
- Ordered pair (view source)
- Power set (view source)
- Template:Claim (view source)
- Template:Def (view source)
- Template:Proof (view source)
- Claim:A ∩ (B 1 ∪ ... ∪ B n) ⊆ (A ∩ B 1) ∪ ... ∪ (A ∩ B n) (view source)
- Claim:A ∩ (B∪C) ⊆ (A∩B) ∪ (A∩C) (view source)
- Proof:A ∩ (B 1 ∪ ... ∪ B n) ⊆ (A ∩ B 1) ∪ ... ∪ (A ∩ B n) (view source)
- Proof:A ∩ (B∪C) ⊆ (A∩B) ∪ (A∩C) (view source)
- Definition:Power set (view source)

Return to SP18:Lecture 3 Induction.