子集是对于两个***A与B，如果***A的任何一个元素都是***B的元素，就说***A包含于***B，或***B包含***A，也说***A是***B的子集。如B包含A，说明A是B的子集
任何一个正偶数都是自然数。就是说正偶数集E的任何一个元素都是自然数集N的一个元素。
对于两个***A与B，如果***A的任何一个元素都是***B的元素，那么***A叫做***B的子集。
记作：A⊆B
读作“A含于B”（或B包含A）。例如上述的如果A是B的子集，但A中至少有一个元素不属于B，那么A就是B的真子集，可记作
读作“A不含于B”（或“B不包含A”）。
