重新以简单的符号来表示这个集合。
集合建构式与一阶逻辑.当一个集合的元素是用某种公式或条件（亦即，一个函数）所产生，这时候就可以用集合建构式来表示，例如：就哲学上来说，这些元素具有某种共同的性质（2的倍数，或是小于0）；在一阶逻辑中，这个性质可以使用谓词来表示，而该集合的一般格式为：以偶数集合为例，其谓词formula_18「是2的倍数」。formula_19「formula_20是2的倍数」，被称为一个命题函数。集合formula_21的元素必定是另一个集合formu