Todo list

• Proof that a function is invertible iff it is one to one (Jech, Set Theory - p 25)
• Proof that $$B^A<math> - the set of all functions from {{M|A}} into {{M|B}} exists {{Todo|Do these}}$$