OrderedAdditiveSemigroup<T> Concept

Definition

Line 292 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T is TotallyOrdered

Axioms

axiom additionPreservesOrder(T a, T b, T c)
{
    a < b => a + c < b + c;
}