前回：ハイパー構造2 左核（left nucleus）の定義を変更し、「左消去法則を持つ」という言い方を止めました。 前回までの内容 をハイパー構造とする。 左再現性 任意のに対してが成り立つ。 左結合性 任意のに対してが成り立つ。 左中立 任意のに対してのと…