包含和被包含的区别
在日常生活和学术研究中，“包含”与“被包含”是两个常见且重要的概念，它们描述了集合、元素或事物之间的不同关系。为了清晰理解这两个概念，以下将详细阐述它们的定义、特性及区别。
一、定义
包含：
- 当我们说某个集合A包含另一个集合B（或元素b），意味着B（或b）是A的一部分，即B（或b）的所有成员也都是A的成员。
- 符号表示：A包含B，通常写作A⊇B；若指单个元素，则写作a∈A（a是A的元素）。但需注意，这里的“∈”并不直接表达包含关系，而是元素与集合的关系，而“⊇”才更准确地表达了集合间的包含关系。不过，在日常语境中，人们也常用“包含”来泛指这种关系，即使不严格区分元素与集合。
被包含：
- 与包含相反，当集合B（或元素b）被集合A包含时，意味着B（或b）完全属于A，不存在于A之外的部分。
- 符号表示：虽然没有一个专门的符号来表示“被包含”，但我们可以通过包含关系的逆来表达这一点，即如果A包含B，那么B就被A包含。
二、特性
包含的特性：
- 具有传递性：如果A包含B，B包含C，那么A也包含C。
- 可以是不完全的：一个集合可以包含另一个集合的部分或全部元素。
- 在数学逻辑中，包含关系定义了子集和超集的概念。
被包含的特性：
- 作为包含的逆关系，它继承了包含的大部分特性，只是视角不同。
- 被包含的集合（或元素）总是小于或等于包含它的集合。
三、区别
主体与客体：
- 在包含关系中，主动的一方是包含者（如集合A），而被动的一方是被包含者（如集合B）。
- 在被包含关系中，这一角色互换，即原先的被包含者现在成为了关系的主体，而原先的包含者成为了关系的对象。
表述方式：
- 包含关系通常用“A包含B”来表述，强调A的广泛性和包容性。
- 被包含关系则用“B被A包含”或“B是A的子集”来表述，突出B对A的从属和依赖。
逻辑关系：
- 从逻辑上讲，包含与被包含是相互依存的，没有绝对的独立存在。一个集合不能单独成为包含者或被包含者，它必须与其他集合相对而存在。
四、实例说明
假设有两个集合：水果集合{苹果, 香蕉, 橙子}和蔬菜集合{胡萝卜, 青椒}。
- 如果说水果集合包含蔬菜集合中的某些元素（实际上这是不可能的，因为它们是两个完全不同的类别），这将是错误的表述。但我们可以说水果集合不包含蔬菜集合作为一个整体。
- 然而，如果我们定义一个更大的集合——食物集合{苹果, 香蕉, 橙子, 胡萝卜, 青椒}，那么可以说食物集合包含了水果集合和蔬菜集合。此时，水果集合和蔬菜集合都被食物集合所包含。
综上所述，“包含”与“被包含”是描述集合间关系的两个重要概念，它们在定义、特性和逻辑关系上都有所不同。通过明确这些差异，我们可以更准确地理解和运用这两个概念。
