集合是具有某种属性的对象总体，用大写字母表示，其元素用小写字母表示。元素属于集合用符号表示，不属于则用符号表示。集合相等是指两个集合有同样的元素组成，用符号=表示。子集合是指一个集合的元素都是另一个集合的元素，用符号或表示包含关系。全集是讨论中涉及的某个固定集合的子集，通常用符号E表集合所有子集的集合，用符号P(S)表示，其中S是给定的集合。如果一个集合有n个元素，那么它的幂集合有2^n个元素。此外，文档还介绍了有序n元组和笛卡尔积的概念。