如果從集合 對自己的笛卡兒積 (也就是 )取出的任意 ,都對應 裡的某個值 ,那對應規則 的本身就被稱為二元運算。
通常寫為 ,而且比起使用字母,二元運算時常以某種運算符表示,來跟普通的函數作區別。
事實上 這個記號本身就保證了:「只要 就會有 」,這個性質也稱為(二元)運算封閉性。
關於二元運算有很多常見的性質和術語,列舉如下:
設 : 是集合 上的二元運算, ,則:
- 稱 為 在 下的左幺元,若 滿足: ;
- 稱 為 在 下的右幺元,若 滿足: ;
- 稱 為 在 下的幺元,若 滿足: 既是 在二元運算 下的左幺元,又是 在二元運算 下的右幺元。
設 : 是集合 上的二元運算, , 是 在 下的幺元。則:
- 稱 是 在 下的左逆元,若 滿足: 。
- 稱 是 在 下的右逆元,若 滿足: 。
- 稱 是 在 下的逆元,若 滿足:a既是 在 下的左逆元,又是 在 下的右逆元。(顯然此時 也是 的逆元),若上下文明確是哪個運算,則元素 的逆元通常記為 。
設 : 是集合 上的二元運算, ,則:
- 稱 為 在 下的左零元,若 滿足: ;
- 稱 為 在 下的右零元,若 滿足: ;
- 稱 為 在 下的零元,若 滿足:z既是 在 下的左零元,又是 在 下的右零元。
設 : 是集合 上的二元運算, 且 , 是 在 下的零元。則:
- 稱 是 中在 下的左零因子,若 滿足: ,使 。
- 稱 是 中在 下的右零因子,若 滿足: ,使 。
- 稱 為 在 下的零因子,若 滿足:a既是 在 下的左零因子,又是 在 下的右零因子。
設 : 是集合 上的二元運算,則:
稱 滿足交換律,若 滿足: ;
設 : 是集合 上的二元運算,則:
稱 滿足結合律,若 滿足: ;
設 : 是集合 上的二元運算,則:
稱 滿足左消去律,若 滿足:
稱 滿足右消去律,若 滿足:
稱 滿足消去律,若 同時滿足左消去律與右消去律。
設 : 是集合 上的二元運算,則:
稱 滿足冪等律,若 滿足: ;
設 : 是集合 上的二元運算,i是 在 下的幺元,
則:稱 滿足冪幺律,若 滿足: (顯然此時每個元素都是它自己的逆元);
設 : 是集合 上的二元運算,z是 在 下的零元,
則:稱 滿足冪零律,若 滿足: ,有 (顯然此時每個元素都是零元素,而且既是左零元素又是右零元素);
設 : 和 : 是集合 上的兩個二元運算,則:
- 稱 對 滿足左分配律,若 , 滿足: ,有 ;
- 稱 對 滿足右分配律,若 , 滿足: ,有 ;
- 稱 對 滿足分配律,若 對 滿足左分配律以及右分配律;