1.
First
foundations of mathematics 

2. Set theory
(continued) 

2.1. Tuples, families 2.2. Boolean operators on families of sets 2.3. Products, graphs and composition 2.4. Uniqueness quantifiers, functional graphs 2.5. The powerset axiom 2.6. Injectivity and inversion 2.7. Properties of binary relations ; ordered sets ⇦ 
2.8. Canonical bijections ⇨2.9. Equivalence relations and partitions 2.10. Axiom of choice 2.11. Notion of Galois connection 
