查看“︁交换律”︁的源代码

[[分类:二元运算]]
{{InfoBox
|name=交换性
|eng_name=commutativity
|aliases=可交换性
}}
{{InfoBox
|name=交换律
|eng_name=commutative property
|aliases=commutative law
}}
'''交换性'''('''commutativity''')指某[[集合]]上的一个二元[[运算]]，交换其操作数的位置不影响结果。

对不可交换运算中改变顺序不影响结果的元素对，参见[[可交换元]]。

== 定义 ==

对集合 <math>X</math> 上的二元运算 <math>\bullet</math> ，若 <math>(\forall a, b \in X) (a \bullet b = b \bullet a)</math>，则称运算 <math>\bullet</math> '''可交换'''('''commutates''' / is '''commutative''')，运算 <math>\bullet</math> 有'''交换性'''('''commutativity''')，及运算 <math>\bullet</math> 满足'''交换律'''('''commutative property''')。


{{二元运算}}