Einselementbei einer algebraischen Struktur ein Element, das mit einem beliebigen Element a verknüpft wieder a ergibt.