半群論においては、吸収元のことをしばしば零元と呼ぶ。