包含和真包含是集合论中的两个基本概念。包含是指一个集合中的所有元素都属于另一个集合，可以用符号“⊆”表示；真包含则是指一个集合中的所有元素都属于另一个集合，且两个集合不相等，可以用符号“⊂”表示。

在集合论中，包含和真包含是两个不同的概念，但它们之间存在着紧密的关系。具体而言，如果一个集合A包含另一个集合B，即A⊆B，那么B一定真包含A，即B⊃A。这是因为如果B和A相等，那么A并不是B的子集，而是和B相等的集合。

从这个角度来看，真包含是包含的一种特殊情况。如果一个集合真包含另一个集合，那么它一定包含这个集合，但反之则不成立。因此，在集合论中，我们通常更关注真包含的性质和应用，而将包含视为真包含的一种特殊情况。

在实际应用中，真包含经常用于描述两个集合之间的包含关系。例如，在数学证明中，我们经常需要证明一个集合A是另一个集合B的真子集，这时就可以使用真包含符号“⊂”来表示。另外，在计算机科学中，真包含也常用于描述数据结构之间的嵌套关系，例如树结构中每个节点都包含若干个子节点，而每个叶子节点又是一个空集合的真子集。

总之，包含和真包含是集合论中两个重要的概念，它们之间存在着密切的关系。在实际应用中，我们通常更关注真包含的性质和应用，同时也需要注意包含和真包含之间的区别和联系。