这套符号是什么意思？

Question

我正在研究学习集，笛卡尔积，基数等。我无法理解这个符号在我的作业中意味着什么，关于此的注释中没有任何内容。

问题是集合{n | n >= 5 and n is prime}的前6个元素是什么？     {集合{n |的5个最小元素是什么？ ∃i＆gt; 0使得n = 2i}。
我不知道这个n | n符号是什么意思，也不知道'∃'是什么意思

非常感谢任何帮助！

Answer 1

| symbol将表示集合元素的变量与其约束分开。 问题是要求你找到集合的前6个元素，其元素由变量'n'描述，'n'的约束是大于或等于5，并且它是素数。 所以这将导致以下设置：5,7,11,13,17,19 .... 答案将是这一组的前6个元素。