حيادي الجمع هو عنصر في مجموعة مزوَّدة بعملية الجمع بحيث إن جمعه مع أي عنصر x من المجموعة يعطي x نفسه؛ مثال شائع هو الصفر ٠ في الأعداد، ويظهر مفهومه أيضاً في تراكيب رياضية أخرى كالمجموعات والحلقات والمصفوفات، ويرمز إليه عادة بالرمز ٠ كعنصر حيادي للجمع.
الوحدة أو المونوئيد بنية جبرية تتكون من مجموعة مزودة بعملية ثنائية وحيدة تجميعية (associative) وتحتوي على عنصر حيادي؛ أي أن للمونوئيد قانون تركيب يغلق المجموعة، ويحقق (ab)c=a(bc) وللعنصر المحايد e يكون e a = a e = a لكل عنصر a في المجموعة.
