子集

子集 （ subset ） 亦稱部分集合 ， 爲某集合中一部分的集合 ； 關係相反時則稱作父集 、 母集 、 超集 。 子集與父集關係上以 “ 包含 ” 稱呼 。 若和爲集合 ， 且的所有元素都是的元素 ， 則可表示爲 ： 是的子集 （ 或稱包含於 ） ； 是的父集 ／ 超集 （ 或稱包含 ） ； 任何集合皆是本身的子集  。 而的子集中不等於的集合 ， 稱爲真子集 ， 若是的真子集 ， 寫作 。