Comment by zevets

Alternatively, any implementation of operator+ should have a notional identity element, an inverse element and be commutative.