2.1

Let , , . Describe each by listing elements.

a.

b.

c.

2.2

Prove by induction that if is a finite set with elements, where is a positive integer, then has subsets.

If is a finite set with elements, where is a positive integer, then has subsets.

Basis Step: Test that this holds for .

Assume it works for any .

Inductive Step: Test for when .

We know when , has elements and that has elements. When , lets say we have the set which has elements. Since this our set with one extra element, say , we know that will include , it will also include a new set where each element corresponds to the elements in but also include the new element .

For example:

Since we know has elements, must have elements. But also, , this is our IH with . Hence by M.I., the statement holds for all , where is a positive integer.

Formal Proof

https://www.youtube.com/watch?v=3CWhQBcOhvs

Prove that for some finite set .

Basis Step: Let = 0.

Assume: This works for .

Inductive Step: Then test :

So now we form from and with included in each subset. This gives us the total number of subsets as . This is our induction hypothesis.

2.3

Show that if , and are sets, then always holds.

Let . By then . So, and .

If , then and similarly when , we find . Thus, by , we find that .

there is more stuff that needs to be here

2.4

Describe ‘div’ relation on the set

graph A {
	66--22,3
	22--11,2
	11--1
	7--1
	3--1
	2--1
}