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
}