真部分集合（propersubset）はA⊂B{\displaystyleA\subsetB}で表され、集合Aの全ての元が集合Bにも含まれ、かつ両集合は等しくないことを意味する。
真子集表示为A⊂{\displaystyle\subset}B，意味着在集合A中的所有元素都在集合B中，并且两个集合不等同。