问一个关于代数结构的封闭判断问题