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);
}