真子集是一种在数学中异常重要的群集操作，它最早由德国数学家 Ernst Steinitz 在 1913 年引入，是群集论的基本看法之一。
在群集论中，若是群集 A 是群集 B 的子集，而且 A 中的元素都不即是 B 中的元素，那么 A 就是 B 的真子集。例如，群集 {1, 2} 就是群集 {1, 2, 3} 的真子集。
真子集可以用于许多数学证明中，例如证明 Cantor 定理（从一个群集到其真子集不存在满射）。在盘算机科学中，真子集尚有普遍的应用，例如在图形盘算中，我们需要找到一个点集的所有子集并盘算它们的面积或周长，为了制止盘算到重复的子集我们经常使用真子集。
除此之外，真子集还在数据库、模子磨练等领域有普遍的应用。
若是你想更深入地体会真子集及其应用，可以阅读群集论、盘算机基础或者数学建模等方面的书籍。
