真子集定义

真子集是集合论中的基本概念，用于描述两个集合之间的包含关系。若集合A中的所有元素都属于集合B，但A不等于B，则称A是B的真子集。

例如，集合{1,2}是{1,2,3}的真子集，因为前者的元素全部在后者中，但两者不相等。理解真子集有助于更精确地分析集合间的逻辑关系，在数学和计算机科学中有广泛应用。