部分加法的圏との比較で、完備半環（complete semirings）の定義を書き記す。これは、ゴランの本（壊れた！）の22章"Complete Semirings"からの引用。Rは半環で、Aはθ:Ω→Rという形の写像の集合。θ∈Aのとき、θは許容的（admissible）と呼ぶ。A上でsummationΣ…

ゴランの本にも無限加法があったから、調べよう。調べた→Complete Semirings - 檜山正幸のキマイラ飼育記 メモ編