半環
semiring
rig
summary.icon
加法について可換モノイド
乗法についてモノイド
さらに分配律をみたす
Ref.icon rig in nLab