Given a binary operation, it is associative if:

for all