ction::::例子.此外，"f"也可以想成在点formula_4上的函数，给定如下或等价地表示成formula_7元素间的乘法即由复合函数给定。注意当formula_8时，函数"f"是formula_9的置换，并给出个数为"n"的唯一循环群。
性质.在一幺半群内，可以定义一元素"x"的正整数幂："x"="x" 及 "x"="x"*...*"x" (乘上"n"次)，其中"n">1。幂的规则"x"="x"*"x"则是很明显的。由定义可以证明其单位元"e"是唯一的。