Operations on functions, classification of total functions, cardinality, set membership, logarithms, exponentiation.

- Specify function injections and surjections.
- Prove that sets are countably finite or infinite.
- Solve equations using exponentiation and logarithms.