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