加法単位元
乗法が加法に対して分配的であるような代数系 S では、加法単位元 0 は任意の元を零化する、つまりS の任意の元 s に対して s • 0 = 0 となるという意味で乗法吸収元(零元)である。これはs • 0 = s •(0 + 0) = s • 0 + s • 0の両辺から s • 0 を簡約することにより得られる。