“真包含于”是逻辑学中的一个概念，通常用于描述两个集合之间的关系。具体来说，如果集合 A 真包含于集合 B，则意味着：
- A 是 B 的子集（即所有 A 中的元素都是 B 中的元素）；
- A 不等于 B（即 A 和 B 不是同一个集合）；
- A 中至少有一个元素不在 B 中。
用符号表示：
$$ A \subsetneq B $$ 或 $$ A \subset B \quad \text{且} \quad A \neq B $$
举例说明：
- 设集合 A = {1, 2}，集合 B = {1, 2, 3}，那么 A 真包含于 B。
- 另一个例子：A = {1, 2}，B = {1, 2}，此时 A = B，不是真包含于。
逻辑意义：
- “真包含于”强调的是“严格包含”，即 A 不等于 B，且 A 是 B 的子集。
- 在集合论中，这是与“包含”（即 A ⊆ B）不同的概念。
常见应用场景：
- 数学集合论：用于描述集合之间的关系。
- 逻辑学：用于分析命题之间的逻辑关系。
- 计算机科学：用于描述数据结构或集合的包含关系。
总结：
- 真包含于（真子集）：A 是 B 的子集，且 A 不等于 B。
- 符号表示：$$ A \subsetneq B $$
如果你有具体的上下文或例子，我可以进一步帮你分析。