שינויים

אין איבר נייטרלי לחיבור: <math>\forall n,k\in\mathbb{N}:n+k>n</math> , ואילו האיבר הנייטרלי היה צריך לקיים <math>n+0=n</math>.