T = the set of all transformations from a given set to itself
T = the set of all transformations from a given set to itself
claim: (T, ? ) is a group
1. Is the system closed? Sure, the composition of two transformations is a transformation (this isn’t obvious; we talked about the proof)