子集公理

出自維基百科,自由嘅百科全書

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

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