真包含於是指一個集合是另一個集合的真子集的關係。如果集合A真包含於集合B，這意味著集合A的所有元素都屬於集合B，並且集合B至少有一個元素不屬於集合A。換句話說，集合A是集合B的子集，但集合B不是集合A的子集。這種關係的數學表示是A⊊B。
真包含於與包含於的區別在於：
真包含於：集合A的所有元素都在集合B中，但集合B中有至少一個元素不在集合A中。
包含於：集合A的所有元素都在集合B中，但集合B可能還有不在集合A中的元素。
真包含於關係也可以理解為一種特殊的包含於關係，其中兩個集合不相等。這種關係在數學邏輯和集合論中非常重要，因為它強調了子集關係中的不等價性。
例子：如果集合A={1,2}，集合B={1,2,3}，那麼集合A真包含於集合B，因為所有A中的元素都在B中，但B中至少有一個元素（即3）不在A中。
通過以上解釋，我們可以看到真包含於關係強調了集合之間的特殊從屬關係，即一個集合完全包含在另一個集合內，但兩者又不完全相同。