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.