查看“︁对合律”︁的源代码

[[分类:一元运算]]
{{InfoBox
|name=对合性
|eng_name=involution
|aliases=self-inverse
}}
{{InfoBox
|name=对合律
|eng_name=involutory property
|aliases=involutory law
}}
'''对合性'''('''involution''')指某[[集合]]上的一个一元[[运算]]，两次作用于相同操作数时得到该操作数本身，也说这个运算的[[逆运算]]是其自身。

相当于说这个一元运算与自身[[复合（映射）|复合]]得到[[恒等映射]]。

== 定义 ==

对集合 <math>X</math> 上的一元运算 <math>\bullet</math> ，若 <math>(\forall a \in X) (\bullet (\bullet a) = a)</math>，则称运算 <math>\bullet</math> 是'''对合'''的(is '''involutory''')，运算 <math>\bullet</math> 有'''对合性'''('''involution''')，及运算 <math>\bullet</math> 满足'''对合律'''('''involutory property''')。

== 性质 ==

若一元运算 <math>\bullet</math> 对合，则必为[[双射]]。


{{二元运算}}