定義
真子集真子集
如果集合A⊆B，存在元素x∈B，且元素x不屬於集合A，我們稱集合A與集合B有真包含關係，集合A是集合B的真子集（propersubset）。記作A⊊B（或B⊋A），讀作“A包含於B”（或“B包含A”）。
即：對於集合A與B，∀x∈A有x∈B，且∃x∈B且x∉A，則A⊊B。空集是任何非空集合的真子集。
非空真子集：如果集合A⊊B，且集合B≠∅，集合A是集合B的非空真子集（nonvoidpropersubset）。
真子集與子集的區別；
子集就是一個集合中的全部/部分元素是另一個集合中的元素，有可能與另一個集合相等；
真子集就是一個集合中的元素全部是另一個集合中的元素，但不存在相等。
舉例
所有亞洲國家組成的集合是地球上所有國家組成的集合的真子集；所有自然數的集合是所有整數的集合的真子集（即N⊊Z）；{1，3}⊊{1，2，3，4}，{1，2，3}⊊{1，2，3，4}；∅⊊{∅}。但不能說{1，2，3}⊊{1，2，3}。
設全集I為{1，2，3}，則它的子集可以是{1}、{2}、{3}、{1,2}、{1,3}、{2，3}、{1，2，3}、∅；而它的真子集只能為{1}、{2}、{3}、{1，2}、{1,3}、{2，3}、∅。它的非空真子集只能為{1}、{2}、{3}、{1，2}、{1，3}、{2，3}。
有關命題
真子集命題2：空集是任意集合的子集。
證明：給定任意集合A，要證明∅是A的子集。這要求給出所有∅的元素是A的元素；但是∅沒有元素。
對有經驗的數學家們來說，推論“∅沒有元素，所以∅的所有元素是A的元素”是顯然的；但對初學者來說，有些麻煩。換一種思維將有所幫助，為了證明∅不是A的子集，必須找到一個元素，屬於∅，但不屬於A。因為∅沒有元素，所以這是不可能的。因此∅一定是A的子集。
這個命題說明：包含是一種偏序關係。
命題3：若A，B，C是集合，則：
自反性:A⊆A，反對稱性:A⊆B且B⊆A，若且唯若A=B，傳遞性:若A⊆B且B⊆C則A⊆C。這個命題說明：對任意集合S，S的冪集按包含排序是一個有界格，與上述命題相結合，則它是一個布爾代數。
命題4：若A，B，C是集合S的子集，則：
存在一個最小元和一個最大元：∅⊆A⊆S（∅⊆A由命題2給出）。存在並運算:A⊆A∪B若A⊆C且B⊆C則A∪B⊆C存在交運算:A∩B⊆A若C⊆A且C⊆B則C⊆A∩B。這個命題說明：表述"A⊆B"和其他使用並集，交集和補集的表述是等價的，即包含關係在公理體系中是多餘的。
命題5:對任意兩個集合A和B，下列表述等價：A⊆BA∩B=AA∪B=BA−B=B′⊆A′。
