MultiplicativeSemigroup<T> Concept
Definition
Line
286
of
System.Base/Concept.cm
Refinement
Type Parameters
T
Constraints
T
is
Regular
T operator*(T, T)
Axioms
axiom
multiplicationIsAssociative(T a, T b, T c)
{
(a * b) * c == a * (b * c);
}