在集合论中，二元运算（binary operation）是一种涉及一个集合中两个互相独立的元素的一种运算。
目录
1 定义与表示
2 运算律
3 特殊元素
3.1 单位元
3.2 零元
3.3 逆元
定义与表示[]
设
S
{\displaystyle \mathbf{S}}
为一集合，函数
f
:
S
×
S
→
S
{\displaystyle f: \mathbf{S} \times \mathbf{S} \to \mathbf{S}}
称其为
S
{\displaystyle \mathbf{S}}
上的一个二元运算（binary operation），简称二元运算。需要注意的是当自变量和函数值都在集合
S
{\displaystyle \mathbf{S}}
中时才可称为该运算是集合
S
{\displaystyle \mathbf{S}}
上的一个二元运算。
二元运算的算符可以用
⋅
,
⋆
,
∘
,
∙
,
⊕
,
⊖
,
⊗
{\displaystyle \cdot, \star, \circ, \bullet, \oplus, \ominus, \otimes}
等表示。对二元运算，如果
x
{\displaystyle x}
与
y
{\displaystyle y}
运算得出
z
{\displaystyle z}
，记作
x
∘
y
=
z
{\displaystyle x \circ y = z}
。
运算律[]
假设元素
x
,
y
,
z
∈
S
{\displaystyle x, y, z \in \mathbf{S}}
，
∘
{\displaystyle \circ}
和
⋆
{\displaystyle \star}
是
S
{\displaystyle \mathbf{S}}
上的二元运算。我们定义一些有关二元运算的运算律：
(
x
∘
y
)
∘
z
=
x
∘
(
y
∘
z
)
{\displaystyle ( x \circ y ) \circ z = x \circ ( y \circ z )}
，称运算
∘
{\displaystyle \circ}
在
S
{\displaystyle \mathbf{S}}
上满足结合律（associative law）；
x
∘
y
=
y
∘
x
{\displaystyle x \circ y = y \circ x}
，称运算
∘
{\displaystyle \circ}
在
S
{\displaystyle \mathbf{S}}
上满足交换律（commutative law）；
x
∘
x
=
x
{\displaystyle x \circ x = x}
，称运算
∘
{\displaystyle \circ}
在
S
{\displaystyle \mathbf{S}}
上满足幂等律（idempotent law）；
z
∘
(
x
⋆
y
)
=
(
z
∘
x
)
⋆
(
z
∘
y
)
{\displaystyle z \circ ( x \star y ) = ( z \circ x ) \star ( z \circ y )}
，称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
对运算
⋆
{\displaystyle \star}
满足左分配律，
(
x
⋆
y
)
∘
z
=
(
x
∘
z
)
⋆
(
y
∘
z
)
{\displaystyle ( x \star y ) \circ z = ( x \circ z ) \star ( y \circ z )}
，称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
对运算
⋆
{\displaystyle \star}
满足右分配律，上两条同时满足称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
对运算
⋆
{\displaystyle \star}
满足分配律（distributive law）；
若
(
x
≠
0
∧
x
∘
y
=
x
∘
z
)
⇒
y
=
z
{\displaystyle (x \ne 0 \and x \circ y = x \circ z ) \Rightarrow y = z}
称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
满足左消去律，若
(
x
≠
0
∧
y
∘
x
=
z
∘
x
)
⇒
y
=
z
{\displaystyle (x \ne 0 \and y \circ x = z \circ x ) \Rightarrow y = z}
称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
满足右消去律，上两条同时满足称在
S
{\displaystyle \mathbf{S}}
上运算
∘
{\displaystyle \circ}
满足消去律（cancellative law）；
特殊元素[]
说明：下列元素
x
,
y
,
z
∈
S
{\displaystyle x, y, z \in \mathbf{S}}
，
∘
{\displaystyle \circ}
和
⋆
{\displaystyle \star}
是
S
{\displaystyle \mathbf{S}}
上的二元运算。
单位元[]
单位元又称幺元。
若
∃
e
l
∈
S
,
∀
x
∈
S
,
e
l
∘
x
=
x
{\displaystyle \exists e_l \in \mathbf{S}, \forall x \in \mathbf{S}, e_l \circ x = x}
，称
e
l
{\displaystyle e_l}
为运算
∘
{\displaystyle \circ}
的左单位元；
若
∃
e
r
∈
S
,
∀
x
∈
S
,
x
∘
e
r
=
x
{\displaystyle \exists e_r \in \mathbf{S}, \forall x \in \mathbf{S}, x \circ e_r = x}
，称
e
r
{\displaystyle e_r}
为运算
∘
{\displaystyle \circ}
的右单位元；
当
e
l
=
e
r
{\displaystyle e_l = e_r}
时，称其为运算
∘
{\displaystyle \circ}
的单位元，可见一个运算有单位元还可表述为该运算满足交换律且存在左（或右）单位元。
单位元的唯一性定理：
设
∘
{\displaystyle \circ}
为
S
{\displaystyle \mathbf{S}}
上的二元运算，
e
l
{\displaystyle e_l}
和
e
r
{\displaystyle e_r}
分别为
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的左单位元和右单位元，则
e
l
=
e
r
=
e
{\displaystyle e_l = e_r = e}
为
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的唯一单位元。关于这个定理/命题的证明，单击这里以显示/折叠
∵
e
l
=
e
l
∘
e
r
=
e
r
{\displaystyle \because e_l = e_l \circ e_r = e_r}
∴
e
l
=
e
r
{\displaystyle \therefore e_l = e_r}
将这个单位元记为
e
.
{\displaystyle e.}
假设
e
′
{\displaystyle e'}
也是
∘
{\displaystyle \circ}
的一个单位元，则有
e
′
=
e
′
∘
e
=
e
.
{\displaystyle e' = e' \circ e = e.}
唯一性得证。
零元[]
零元的概念给自下面的表述：
若
∃
θ
l
∈
S
,
∀
x
∈
S
,
θ
l
∘
x
=
θ
{\displaystyle \exists \theta_l \in \mathbf{S}, \forall x \in \mathbf{S}, \theta_l \circ x = \theta}
，称
θ
l
{\displaystyle \theta_l}
为运算
∘
{\displaystyle \circ}
的左零元；
若
∃
θ
r
∈
S
,
∀
x
∈
S
,
x
∘
θ
r
=
θ
{\displaystyle \exists \theta_r \in \mathbf{S}, \forall x \in \mathbf{S}, x \circ \theta_r = \theta}
，称
θ
r
{\displaystyle \theta_r}
为运算
∘
{\displaystyle \circ}
的右零元；
当
θ
l
=
θ
r
{\displaystyle \theta_l = \theta_r}
时，称其为运算
∘
{\displaystyle \circ}
的零元，可见一个运算有零元还可表述为该运算满足交换律且存在左（或右）零元。
零元的唯一性定理：
设
∘
{\displaystyle \circ}
为
S
{\displaystyle \mathbf{S}}
上的二元运算，
θ
l
{\displaystyle \theta_l}
和
θ
r
{\displaystyle \theta_r}
分别为
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的左零元和右零元，则
θ
l
=
θ
r
=
θ
{\displaystyle \theta_l = \theta_r = \theta}
为
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的唯一零元。关于这个定理/命题的证明，单击这里以显示/折叠证明和单位元是类似的：
∵
θ
l
=
θ
l
∘
θ
r
=
θ
r
{\displaystyle \because \theta_l = \theta_l \circ \theta_r = \theta_r}
∴
θ
l
=
θ
r
{\displaystyle \therefore \theta_l = \theta_r}
将这个零元记为
θ
{\displaystyle \theta}
.假设
θ
′
{\displaystyle \theta'}
也是
∘
{\displaystyle \circ}
的一个零元，则有
θ
′
=
θ
′
∘
θ
=
θ
.
{\displaystyle \theta' = \theta' \circ \theta = \theta.}
唯一性得证。
逆元[]
设
e
{\displaystyle e}
是
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的单位元。
若
∃
y
l
∈
S
,
∀
x
∈
S
,
y
l
∘
x
=
e
{\displaystyle \exists y_l \in \mathbf{S}, \forall x \in \mathbf{S}, y_l \circ x = e}
，称
y
l
{\displaystyle y_l}
为
x
{\displaystyle x}
的左逆元；
若
∃
y
r
∈
S
,
∀
x
∈
S
,
x
∘
y
r
=
e
{\displaystyle \exists y_r \in \mathbf{S}, \forall x \in \mathbf{S}, x \circ y_r = e}
，称
y
r
{\displaystyle y_r}
为
x
{\displaystyle x}
的右逆元；
当
y
l
=
y
r
=
y
{\displaystyle y_l = y_r = y}
时，称
y
{\displaystyle y}
为
x
{\displaystyle x}
的逆元，可见一个元素关于该运算有逆元还可表述为该运算满足交换律且该元素存在左（或右）逆元。
逆元的唯一性定理：
设
∘
{\displaystyle \circ}
为
S
{\displaystyle \mathbf{S}}
上可结合的二元运算，
e
{\displaystyle e}
是
S
{\displaystyle \mathbf{S}}
中关于运算
∘
{\displaystyle \circ}
的单位元，
y
l
{\displaystyle y_l}
和
y
r
{\displaystyle y_r}
分别为
S
{\displaystyle \mathbf{S}}
中
x
{\displaystyle x}
关于运算
∘
{\displaystyle \circ}
的左逆元和右逆元，则
y
l
=
y
r
=
y
{\displaystyle y_l = y_r = y}
为
S
{\displaystyle \mathbf{S}}
中
x
{\displaystyle x}
关于运算
∘
{\displaystyle \circ}
的唯一逆元。关于这个定理/命题的证明，单击这里以显示/折叠由
y
l
∘
x
=
e
{\displaystyle y_l \circ x = e}
和
x
∘
y
r
=
e
{\displaystyle x \circ y_r = e}
得
y
l
=
y
l
∘
e
=
y
l
∘
(
x
∘
y
r
)
=
(
y
l
∘
x
)
∘
y
r
=
e
∘
y
r
=
y
r
{\displaystyle y_l = y_l \circ e = y_l \circ ( x \circ y_r ) = ( y_l \circ x ) \circ y_r = e \circ y_r = y_r }
将这个逆元记为
y
.
{\displaystyle y.}
假设
y
′
{\displaystyle y'}
也是
x
{\displaystyle x}
关于
∘
{\displaystyle \circ}
的一个逆元，则有
y
′
=
y
′
∘
e
=
y
′
∘
(
x
∘
y
)
=
(
y
′
∘
x
)
∘
y
=
e
∘
y
=
y
{\displaystyle y' = y' \circ e = y' \circ ( x \circ y ) = ( y' \circ x ) \circ y = e \circ y = y}
唯一性得证。
公理集合论（学科代码：1101450，GB/T 13745—2009）
集合
集合 ▪ 空集 ▪ 交集 ▪ 并集 ▪ 差集 ▪ 补集 ▪ 对称差 ▪ 指标集 ▪ 多重集 ▪ Cartesian 积
映射
映射 ▪ 单射和满射 ▪ 双射 ▪ 逆映射 ▪ 基数和集合的势 ▪ 可数集
关系
二元关系 ▪ 二元运算 ▪ 单位元 ▪ 零元 ▪ 逆元 ▪ 序关系和偏序集的运算 ▪ 等价关系
公理系统
选择公理 ▪ Zorn 引理 ▪ 良序公理 ▪ 数学归纳法和超限归纳原理
所在位置：数学（110）→ 数理逻辑与数学基础（11014）→ 公理集合论（1101450）