子集與超集
在數學中，集合的概念是基礎。集合論的現代研究形式化於19世紀末，集合論是數學的基本語言，是現代數學基本原理的寶庫。另一方面，它本身就是數學的一個分支，在現代數學中被歸為數理邏輯的一個分支。
集合是定義良好的對象集合。好定義的意思是，存在一種機制，通過這種機制，人們能夠確定給定的對象是否屬於特定的集合。屬於集合的對象稱為集合的元素或成員。集合通常用大寫字母表示，用小寫字母表示元素。
集合A被稱為集合B的子集；當且僅當集合A的每個元素也是集合B的元素。集合之間的這種關係用A⊆B表示。它也可以理解為“A包含在B中”。如果A⊆B和A≠B，則稱A為真子集，用A⊂B表示。如果A中甚至有一個成員不是B的成員，則A不能是B的子集。空集是任何集的子集，集本身也是同一集的子集。
如果A是B的子集，則A包含在B中。這意味著B包含A，或者換句話說，B是A的超集。我們寫A⊇B來表示B是A的超集。
例如，A={1，3}是B={1，2，3}的子集，因為B.B中包含的A中的所有元素都是A的超集，因為B包含A。讓A={1，2，3}和B={3，4，5}。然後A∩B={3}。因此，A和B都是A∪B的超集。集合A∪B是A和B的超集，因為A∪B包含A和B中的所有元素。
如果A是B的超集，B是C的超集，那麼A是C的超集。任何集A都是空集的超集，任何集本身都是該集的超集。
| “A是B的子集”也讀作“A包含在B中”，用A⊆B表示。“B是A的超集”也讀作“B包含在A中”，用A⊇B表示。 |
