The reader who has seen group theory will know that in addition to the three properties listed in our definition, the group operation must satisfy a property called associativity. In the context of tr...The reader who has seen group theory will know that in addition to the three properties listed in our definition, the group operation must satisfy a property called associativity. In the context of transformations, the group operation is composition of transformations, and this operation is always associative. So, in the present context of transformations, we omit associativity as a property that needs checking.