半環
semi-ring
負元(negative)のない環(ring)ということで、rigとも言うらしい
おっしゃれー！！mrsekut.icon
雑な定義
加法における逆元を持たない環
加法の条件が可換モノイド
群などの関係性も参考
可換半環
冪等半環
閉半環
https://zenn.dev/lotz/articles/9c9ca0708b035b
参考
https://ja.wikipedia.org/wiki/半環
https://hark.hateblo.jp/entry/2014/08/04/211735
http://m-hiyama.hatenablog.com/entry/20140910/1410304117
ω-総和可能性
消約可能性
冪等性