A review of one-to-one, onto, and other function stuff. Then we show that every function can be pulled apart into an onto, invertible, and one-to-one piece (i.e., the first isomorphism theorem for sets).
Then we have a brief discussion of this theorem related to groups and linear algebra.