Bounded commutative Rl-monoid 有界交换的Rl
associative and commutative residual monoid 偏序结合交换剩余独异点
应用推荐
模块上移
模块下移
不移动