用于定义数学对象的条件,常用符号为 : 或 。例如,有理数 可以定义为
读作“所有 的集合,满足 且 。”
更多尝试
Weisstein, Eric W. “Such That。”来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/SuchThat.html