が任意の "i", "j", "k", "l" ∈ "i" について満たすことと、これが決定する分配多元環の積は結合法則を満たすこととは同値である。