半群の結合法則の一般化 を半群とするとき、もちろんですが が成り立つわけですが、これを一般化します。 命題 とし, を半群 の台集合 の元とするとき なので が成り立ちます。したがって命題の結論の式は意味を持ちます。(証明) のとき なる自然数は存在し…