半環
semiring
環
(数学)
集合半環
https://ja.wikipedia.org/wiki/半環