厳密に、集合上で定義された二項演算が結合的であるとは、formula_3を満足するときに言う。