「クリーネ代数 再論」で、クリーネ代数の定義を（いまさらに）述べたのですが、不等式と等式に関してちょっと微妙なところがあります。最小な前不動点は不動点になるクリーネ代数もコンウェイ半環も、最小不動点を扱う代数系だと言えます。最小不動点と最小…