真子集（proper subset）是指如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，则集合A是集合B的真子集。用数学符号表示，如果集合A的所有元素都属于集合B，但集合B中存在至少一个元素不属于集合A，即A⊊B，那么A是B的真子集。空集是任何非空集合的真子集。
举例说明：
如果A = {1, 2, 3, 4, 5}，B = {2, 4, 5}，那么B是A的真子集，因为B中的所有元素都在A中，但A中存在元素（1和3）不在B中。
如果N是自然数集，Z是整数集，那么N是Z的真子集，因为所有自然数都是整数，但整数中还包括负数，所以自然数集不是整数集的全部内容。
需要注意的是，任何集合都是自身的子集，但不是自身的真子集