大集合是小集合的必要不充分條件。集合簡稱集,是數學中一個基本概念,也是集合論的主要研究對象。集合論的基本理論創立於19世紀,關於集合的最簡單的説法就是在樸素集合論,最原始的集合論中的定義,即集合是“確定的一堆東西”,集合裏的“東西”則稱為元素。現代的集合一般被定義為:由一個或多個確定的元素所構成的整體。