这个规则可代表集合T中的元素。于是，集合T可以简写为：在上面的简单范例中，我们将一个繁复的集合表示法，透过一个简单的规则，重新以简单的符号来表示这个集合。
集合建构式与一阶逻辑.当一个集合的元素是用某种公式或条件（亦即，一个函数）所产生，这时候就可以用集合建构式来表示，例如：就哲学上来说，这些元素具有某种共同的性质（2的倍数，或是小于0）；在一阶逻辑中，这个性质可以使用谓词来表示，而该集合的一般格式为：以偶数集合为例，其谓词formula_18「是2的倍数」。formu