対合
鏡映群、コクセター群は、(位数 2 の元という意味での)対合からなる生成系を持つ群である。