子集公理

子集公理係集合論裏面嘅一條基本公理，佢嘅意思係話，如果A係一個符合集合論要求嘅集合，噉從A裏面隨便揀出一啲元素，佢哋都可以組成一個符合集合論要求嘅集合，呢個新嘅集合叫做原來個集合嘅子集。

子集公理實際上肯定咗兩個集合嘅交集仍然係一個合法嘅集合，所以集合論裏面並唔需要「交集公理」。