没有找到与 半群 monoid 相关的结果。