همانی جمعی

عنصر e در یک دستگاه ریاضی با یک عمل جمع با نماد + ، به‌طوری‌که برای هر عنصر x از آن دستگاه، e+x=x+e=x