真包含符号

真包含符号是用来表示一个集合是另一个集合的真子集的数学符号。在数学中，真包含关系通常用符号 ⫋来表示。如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集。这种关系也可以用符号 ⊊来表示，读作“真包含于”或“A真包含于B”。

真包含的特点包括：

1. 存在一个最小元和一个最大元。

2. 如果A真包含于B，那么A中的每一个元素也是B中的元素，但B中至少有一个元素不属于A。

在实际应用中，真包含符号常用于数学表达式和逻辑推理中，以清晰地表明集合之间的包含关系。