設 (S,*) 為一帶有一二元運算 * 的集合S（稱之為原群），則 S 內的一元素 e 被稱為左單位元若對所有在 S 內的 a 而言， e * a = a ；且被稱為右單位元若對所有在 S 內的 a 而言， a * e = a 。而若 e 同時為左單位元及右單位元，則稱之為雙邊單位元，又簡單稱之為單位元。

對應於加法的單位元稱之為加法單位元（通常被標為 0 ），而對應於乘法的單位元則稱之為乘法單位元（通常被標為 1 ）。這一區分大多被用在有兩個二元運算的集合上，如環。

設 (S,*) 為一帶有一二元運算 * 的集合S（稱之為原群），則 S 內的一元素 e 被稱為左單位元若對所有在 S 內的 a 而言， e * a = a ；且被稱為右單位元若對所有在 S 內的 a 而言， a * e = a 。而若 e 同時為左單位元及右單位元，則稱之為雙邊單位元，又簡單稱之為單位元。

對應於加法的單位元稱之為加法單位元（通常被標為 0 ），而對應於乘法的單位元則稱之為乘法單位元（通常被標為 1 ）。這一區分大多被用在有兩個二元運算的集合上，如環。