Three elements ,
and
of a set
are said to be associative under a binary operation
if they satisfy
(1)
|
Real numbers are associative under addition
(2)
|
and multiplication
(3)
|
The Wolfram Language attribute that sets a function to be associative is Flat.