关于集合的定义,其依赖于整个集合。
更多尝试
Weisstein, Eric W. “非谓语性。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Impredicative.html