冒号 (数学)

主条目：集合建构式符号

一个集合的元素可以是用某种公式或条件所产生，这时候可以用集合建构式来表示，例如：

正整数集合可用下列建构式表示：

{

x

:

x

{\displaystyle \{x:x}

是大于 0 的整数

}

{\displaystyle \}}

{

x

:

x

>

0

∧

x

∈

Z

}

{\displaystyle \{x:x>0\land x\in \mathbb {Z} \}}

在这里，冒号的意思是“使得（such that）”。