当谈到集合逻辑时，以下是一些常见的用语：
空集：一个不包含任何元素的集合。
全集：包含所有可能元素的集合。 子集：一个集合的所有元素都是另一个集合的元素。 真子集：一个集合是另一个集合的子集，但不等于另一个集合。 并集：由两个或多个集合中的所有元素组成的集合。 交集：两个或多个集合共有的元素组成的集合。 补集：相对于全集而言，不属于某个给定集合的所有元素的集合。 互斥集合：没有共同元素的集合。 相等集合：具有相同元素的集合。 单元素集合：只包含一个元素的集合。 无限集合：元素数目无限的集合。 有限集合：元素数目有限的集合。 等价关系：具有自反性、对称性和传递性的关系。 偏序关系：具有自反性、反对称性和传递性的关系。 全序关系：具有自反性、反对称性、传递性和完全性的关系。 笛卡尔积：两个集合的所有可能有序对的集合。 幂集：一个集合的所有子集的集合。 交替集合：两个集合之间的交替元素的集合。 平凡集合：只包含空集的集合。 等势集合：具有相同基数（元素数目）的集合。 首项：有序对中的第一个元素。 末项：有序对中的第二个元素。 数量：集合中元素的个数。 无序对：没有顺序要求的有序对。 直积：两个集合的所有可能无序对的集合。 连续集合：可以在集合中找到比任意给定元素更大的元素。 上确界：集合中的最小上界。 下确界：集合中的最大下界。 自然数集：包含所有正整数和零的集合。 整数集：包含所有正整数、零和负整数的集合。 有理数集：包含所有可以表示为两个整数之比的数的集合。 实数集：包含所有有理数和无理数的集合。 复数集：包含实部和虚部的数的集合。 开集：对于集合中的每个点，都可以找到一个包含该点的开球。 闭集：包含其所有极限点的集合。 有界集：对于集合中的每个点，都可以找到一个包含该点的有界开球。 无界集：不存在包含集合中所有点的有界开球。 连通集：集合中的任意两点都可以通过集合内的路径相连。 分离集：集合可以被一个开集和其余部分分开。 紧集：集合中的任何开覆盖都有有限子覆盖。 等价类：具有相同等价关系的元素的集合。 因子集：集合中的所有因子（真子集）的集合。 布尔代数：一个具有两个二元运算和一组公理的代数系统。 代数结构：一个集合与其上的一组操作的组合。
