Egy tetszőleges R alaphalmazon értelmezett bármilyen * műveletre nézve legfeljebb egy neutrális elem létezik. Más szavakkal a neutrális elem egyértelmű, amennyiben létezik.