Xを空間として、変換群Gになると2つのXにおける変換f、g∈G、f、gは共にXからXへの写像、について、
fとgの合成写像g○f:X→Xは普通の積gfとも表すんだけど。