包含

相关tags:

包含名词解释：集合与其子集合之间的一种基本关系。如果集合X的所有元素,都是集合Y的元素,则称X为Y的子集合,也可以说成Y包含X,记作X\'Y。如果X\'Y且Y中有不属于X的元素,则称X为Y的真子集,也可说成Y真包含X,记作X\'Y。在集合论中,“包含”不是基本概念,它完全可以用“属于”来定义名词解释：X\'Y当且仅当(\'x)(x∈X→x∈Y)。