短语词组短语separable convex sets 可分凸集recursively separable sets 递归可分集合effectively separable sets 能行可分集合 返回 separable sets