The set T of translation operators T ^ ^ ( x ) for all x , with the operation of multiplication defined as the result of successive translations (i.e. function composition), satisfies all the axioms of a group :