„Neutrális elem” változatai közötti eltérés

A neutrális elem egyértelmű (legfeljebb egy van belőle az alaphalmazban). Ugyanis ha ''n'',''m'' ∈ U neutrális elemek, akkor '''''n'''''*''m'' = ''m''*'''''n''''' = ''m''; mivel ''n'' neutrális; és ''n''*'''''m''''' = '''''m'''''*''n'' = ''n'', mivel ''m'' is neutrálsineutrális, így ''m'' = ''n'' ( = ''n''*''m'').