一个和二元运算及函数有关的性质。而若交换律对一特定二元运算下的一对元素成立，则称这两个元素为在此运算下是「可交换」的。在群论和集合论中，许多的代数结构被称做是可交换的，若其中的运算域满足交换律。在数学分析和线性代数中，一些知名的运算（如实数及复数上的加法和乘法）的交换律会经常被用于（或假定存在于）证明之中。
数学定义.「可交换」一词被使用于如下几个相关的概念中：1. 在集合 formula_1 的一二元运算 formula_2 被称之为「可交换」的，若：2. 若称 f