AdditiveGroup<T> Concept

Definition

Line 325 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T operator-(T)
T operator-(T, T)

Axioms

axiom unaryMinusIsInverseOp(T a)
 {
     a + (-a) == 0 && (-a) + a == 0;
 }
axiom subtract(T a, T b)
 {
     a - b == a + (-b);
 }