广泛。由一个对合通过复合函数生成的双射群，与循环群"C"同构。一个置换是对合，当且仅当它可以写成一个或多个不重合的对换的乘积。群的对合对群的结构有很大影响。对合的研究在有限单群分类中是十分有用的。
数理逻辑中的对合.在布尔代数中补运算是对合。因此在经典逻辑中的否定满足“双重否定律”: ¬¬"A" 等价于 "A"。一般在非经典逻辑中，满足双重否定律的的否定叫做对合性的。在代数语义中，这样的否定被实现为在逻辑真值的代数上对合。有对合性否定的逻辑的例子有 Kleene 和 B