真包含于与真子集的符号

真包含于与真子集的符号

真包含于：

真包含于号（Inclusion sign）是用来表示一个集合是另一个集合的真子集的记号。如A真包含于B，表示集合A真包含于集合 B内，或A是B的真子集（Subset）的意思。符号 ⊊ ⊋或⊂⊃（两种写法），⊊（真包含于） ⊋（真包含）

真子集：

如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集（proper subset）。如果A包含于B,且A不等于B,就说集合A是集合B的真子集。

如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）。记作A⊊B（或B⊋A），读作“A真包含于B”（或“B真包含A”）