什么叫真包含于关系?

真包含于关系是一个集合完全属于另一个集合，但两个集合不相等。比如所有正方形都属于四边形，但四边形不全是正方形。数学中用符号⊂表示，读作"真包含于"。这种关系要求子集的元素全部在母集中，母集至少多一个元素。日常生活中，猫和动物的关系也是真包含于，猫是动物的一部分，但动物不只有猫。

真包含于关系的判断

判断真包含于关系要满足两个条件：子集所有元素都在母集中，母集必须存在不属于子集的元素。例如苹果和水果的关系，苹果是水果，但水果还包括香蕉、梨等。如果两个集合元素完全相同，就不是真包含于。集合{1,2,3}真包含于{1,2,3,4}，因为后者多出数字4。