什麼是真包含

真包含關係是指一個集合是另一個集合的子集，且這兩個集合不相等。

換句話說，真包含表示一個集合中的所有元素都屬於另一個集合，但存在屬於另一個集合的元素不屬於這個集合。例如，如果集合B中的所有元素都是集合A中的元素，但集合A中存在一些元素不在集合B中，那麼我們可以說集合B真包含於集合A。在符號表示上，真包含可以用「⊂」表示，意味著「B是A的真子集」。