真包含符号是什么?

Question

如题所述

Answer 1

真包含符号如下：

符号是⫋。常用的表达式：A⫋B。如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集。如果A包含于B，且A不等于B，就说集合A是集合B的真子集。

数学中“包含”，是表示两个集合之间关系的说法，所用符号为⊃，⊇，读作“包含”。比如，A⊃B，A⊇B，都读作A包含B。反过来，B⊂A，B⊆A，都读作B包含于A。

真包含的特点：

存在一个最小元和一个最大元： ∅ ⊆ A⊆ S（ ∅⊆A由命题2给出）。存在并运算: A⊆ A∪B若 A⊆ C且 B⊆ C则 A∪B⊆ C存在交运算: A∩B⊆ A若 C⊆ A且 C⊆ B则 C⊆ A∩B。这个命题说明：表述 "A⊆ B" 和其他使用并集，交集和补集的表述是等价的，即包含关系在公理体系中是多余的。