对于两个集合U与A,如果集合A的任何一个元素都是集合U的元素,我们就说集合A包含于集合U,或集合U包含集合A,也说集合A是集合U的子集.

　　如果B是U的子集,并且U中至少有一个元素不属于B,那么集合B叫做集合U的真子集

　　U,A,B是三个集合.比如：U={1,2,3}；A={1,2,3}；B={1,2}.