真包含于:
真包含于号(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”)