真子集符号，又称为子集符号，是数学中一个重要的看法。它用于示意一个群集的所有子集的群集。
在群集论中，对给定群集A，可以用2^A示意A的所有子集的群集。而真子集符号则是用2^A - {A}来示意除去A自己的所有子集的群集。
真子集符号在数学、盘算机科学、离散数学等领域有着普遍的应用。在数学中，它常用于证明群集之间的包罗关系、群集运算的性子等。在盘算机科学中，真子集符号则常用于算法设计、群集的示意与操作等问题。
真子集符号的特点主要包罗：
- 真子集符号示意的是一个群集的所有子集，但不包罗群集自己。
- 真子集符号示意的群集个数比原群集的幂集个数少一个，即2^n - 1（n示意原群集的元素个数）。
- 真子集符号在群集的操作与运算中具有重要的性子，如交、并、差等运算。
