在上数学课的时候，高中数学集合论中有讲到一些符号的涵义，其中 {x∈Q | (x -2)(x2 - 3) = 0} 这样的 set，教材上说这里面的 vertical bar | 的涵义是 such that. 部分学生对这个 such that 感到困惑，不知道它跟 so that 有什么区别。本文就讨论 such that 和 so that 的区别。
经过初中英语的学习，同学们对 so that 都应该是非常熟悉了， 它等于 in order that， 它连接两个分句，用来表示“目的”。
例如：I drank coffee so that I could stay awake.
这个句子里的 so that 的涵义是“为了”，它连接着 I drank coffee 这个分句和 I could stay awake 这个分句。后一个分句表达的是前一个分句的目的。
such that 大家就很陌生。它其实是用来表示“结果”的。
例如：I drank coffee such that I could stay awake.
这里的 such that 其实等于 in such a way that. 这个句子其实说的是“我喝了咖啡导致我睡不着”，这里的 such that 连接的前后两个分句 I drank coffee 和 I could stay awake 并不是“目的”关系，也就是说 I drank coffee 的目的并不是我不想睡觉，这里前后两个分句的关系是“因果”关系，“我喝了咖啡” 导致 了我不能入睡。
那么在数学语言 {x∈Q | (x -2)(x2 - 3) = 0} 中，很显然 x∈Q 并不是为了后面的 (x -2)(x2 - 3) = 0，二者不存在“目的”关系。
其实 {x∈Q | (x -2)(x2 - 3) = 0} 这里的 vertical bar， 我们把它解读为 and 更好。