An operation is associative if: