怎样正确理解真子集概念及真子集关系的传递性

摘要

A、B、C是集合。“A包含于B”表示集合爿是集合B的真子集，而“A包含B”表示集合A是集合B的子集；这两种关系有本质上的差异：要说明“A包含B”只须说明任意x∈A，有x∈B：但要说明“A包含于B”除须说明任意x∈A，有x∈B外，还须说明存在y∈B，使得y不属于A。