The associativity law states that for some binary operator *
, for all
values a1
, a2
, and a3
, the following must hold:
The associativity law states that for some binary operator *
, for all
values a1
, a2
, and a3
, the following must hold:
(a1 * a2) * a3 === a1 * (a2 * a3)
The set of all laws that instances of Associative
must satisfy.
The set of all laws that instances of Associative
must satisfy.