集合 
的真子集 
，记作 
，是严格包含于 
的子集，因此必然排除 
的至少一个成员。空集 因此是任何非空集的真子集。
例如，考虑一个集合 
。那么 
和 
是真子集，而 
和 
则不是。
真子集
另请参阅
非真子集, 集合, 子集使用 Wolfram|Alpha 探索
参考文献
Kamke, E. Theory of Sets. New York: Dover, p. 6, 1950.在 Wolfram|Alpha 中引用
真子集请引用为
Weisstein, Eric W. "真子集。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ProperSubset.html