真包含和包含是两个概念，它们在数学和逻辑学中有着不同的应用。
真包含是指一个***A包含另一个***B的所有元素，并且至少有一个元素不在B中，换句话说，如果我们将***B中的元素从***A中移除，那么***A就不再是真包含B的。{1, 2, 3}是真包含{1, 2}的，因为它包含了这两个***的所有元素；而{1, 2}不是真包含{1, 2, 3}的，因为它没有包含所有这三个元素中的一个。
而包含则是指一个***A至少要包含另一个***B中的一个元素，这意味着即使我们将***B中的所有元素都从***A中移除，***A仍然可以包含其他元素。{1, 2}包含了{1},但不包含{2};而{1, 2}也不包含空集，在这种情况下，我们不能说{1, 2}是真包含{1}或真包含{2}的。
