負元(negative)のない環(ring)ということで、rigとも言うらしい

おっしゃれー！！

雑な定義

加法における逆元を持たない環

加法の条件が可換モノイド

群などの関係性も参考

参考