子集 子集英語subset亦稱部分集合為某集合中部分元素的集合關係相反時則稱作父集母集超集子集與父集的关系被称为包含 如果集合A的任意一个元素都是集合B的元素任意 aA则 aB那么集合A称为集合B的子集记为 A  B displaystyle Asubseteq B 或 B  A displaystyle Bsupseteq A 读作集合A包含于集合B或集合B包含集合A 即  a  A displaystyle forall ain A 有 a  B displaystyle ain B 则 A  B displaystyle Asubset B  若 A displaystyle A 和 B displaystyle B 为集合且 A displaystyle A 的所有元素都是 B displaystyle B 的元素则可表示為 A displaystyle A 是 B displaystyle B 的子集或称 A displaystyle A 包含于 B displaystyle B  A  B displaystyle Asubseteq B B displaystyle B 是 A displaystyle A 的父集超集或称 B displaystyle B 包含 A displaystyle A  B  A displaystyle Bsupseteq A 任何集合 B displaystyle B 皆是本身的子集 B  B displaystyle Bsubseteq B 而 B displaystyle B 的子集中不等于 B displaystyle B 的集合称为真子集若 A displaystyle A 是 B displaystyle B 的真子集写作 A  B displaystyle Asubsetneqq B