一般的，如果一个集合含有我们所研究问题中涉及的所有元素，那么就称这个集合为全集，通常记作U。
定义
数学上，特别是在集合论和数学基础的应用中，全类（若是集合，则为全集）大约是这样一个类，它（在某种程度上）包含了所有的研究对象和集合。 在特定场合下
这个一般概念有一些精确的版本。最简单的可能就是，任意集合都可能是全集。当研究一个特定集合的时候，这个集合就是全集。若研究实数，则所有实数的集合实数线R就是全集。这是康托尔在1870年代和1880年代运用实分析第一次发展现代朴素集合论和集合的势的时候默认的全集。康托尔一开始只关心R的子集。