monoid [计] 独异点; 类群 - monoid是什么意思 - 小野学长