如果A是B的子集,并且B中至少有一個元素不屬于A,那么集合A叫做集合B的真子集.
　　子集定義：一般地,對于兩個集合A,B,如果集合A中任意一個元素都是集合B中的元素,我們就說這兩個集合有包含關系,稱集合A為集合B的子集（subset）. 　　記作： A⊆B（或B⊇A） 　　讀作：“A含于B”（“B包含A”） 　　而真子集是對于子集來說的 　　★真子集定義：如果集合A⊆B,但存在元素X∈B,且元素X不屬于集合A,我們稱集合A是集合B的真子集. 　　也就是說如果集合A的所有元素同時都是集合 B 的元素,則稱 A 是 B 的子集, 　　若 B 中有一個元素,而A 中沒有,且A 是 B 的子集,則稱 A 是 B 的真子集,相關圖片
注 1 空集是所有集合的子集 　　2 所有集合都是其本身的子集 　　3 空集是任何非空集合的真子集