真子集是指一個集合A是另一個集合B的子集，並且集合B中至少有一個元素不屬於集合A，即A⫋B。也可以說，真子集是包含某集合的其中的一個或若幹個元素但又不全部包含的集合。例如，集合{1,2}的真子集有空集、{1}和{2}，而{1,2}只能是其自身的子集，不是真子集。空集是任何非空集合的真子集，因為空集不包含任何元素，所以它是任何集合的子集，但除了空集本身之外，空集不能是任何集合的真子集。真子集和子集的區別在於，子集可以是集合本身，而真子集不能是集合本身。在集合論中，真子集的概念是非常重要的，它有助於我們更深入地理解集合之間的關係和性質。