集合是一组对象或者被当作实体的数字。集合通常用斜体大写的黑体字母表示，集合里的各个对象或数字称集合的元素。
一个集合可具有从零到无穷大个任意非负元素。集合元素的个数称基数，可以是零到可数无穷大（对于自然数、整数或者有理数集合）到不可数无穷大（对于非自然数、实数、虚数或者复数集合）。
最基本的集合关系有：
当且尽当一个集合的每个元素都是另一集合的元素时，这个集合是另一集合的子集。
当且尽当一个集合的每个元素都是另一集合的元素，但另一集合存在不属于这个集合的元素时，这个集合是另一集合的真子集。
属于两个集合的元素的集合称这两个交集的交集。
两个集合的所有元素的集合称这两个集合的并集。