在数学中，真子集是指一个集合中除了本身之外的所有非空子集。换句话说，如果 A 是一个集合，那么 A 的任何一个非空子集都被称为 A 的子集，不包括 A 本身。
例如，如果 A = {1，2，3} ，那么 {1,2} 和 {2,3} 是 A 的真子集，而 {1,2,3} 是 A 的子集，但不是真子集。真子集在数学和计算机科学中都有广泛的应用，比如在集合论，离散数学，编程和算法设计中。
在编程中，真子集可以用于解决组合问题，例如在游戏设计中生成有效的移动组合，或在网络安全中识别可能的攻击组合。
真子集是指在给定集合中，去除该集合本身的任何一个子集，得到的新的非空子集。
换言之，如果A是集合X的一个真子集，则A是X的子集，并且存在元素x∈X，使得x∉A。
举个例子，设集合X={1, 2, 3}，它的所有真子集为{1}、{2}、{3}、{1, 2}、{1, 3}、{2, 3}。注意，集合X本身不是它的真子集，因为它包括所有的子集。真子集的概念在集合论、代数学、组合数学等各个领域都有重要的应用。
对于一个给定的集合，真子集的数量是它所有子集数量减去自己和空集的数量。
