AdditiveSemigroup<T> Concept

Definition

Line 279 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T is Regular
T operator+(T, T)

Axioms

axiom additionIsAssociative(T a, T b, T c)
 {
     (a + b) + c == a + (b + c);
 }
axiom additionIsCommutative(T a, T b)
 {
     a + b == b + a;
 }