Remark

Sometimes the product gh is defined the other way round, thus as h o g. This definition is convenient when writing mappings from the right-hand side: for x X, the element (x g)h = x(gh) is then as well the image under gh of x as the image under h of the image under g of x. This happens for example in the computer algebra packages GAP and Maple. One should be aware of this fact!