Adding properties about sets, cartesian products, functions, relations, pairs, and finally, the Cantor theorem.