一个 可定义集,也称为 Souslin 集。
更多尝试
韦斯坦因,埃里克·W. "解析集。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/AnalyticSet.html