与えられた台集合上の部分写像全体の成す集合は、上の全部分変換半群と呼ばれるを成し、典型的にはformula_3のように表される。