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