定義：設有集合A、B，若有x∈A，必有x∈B，那麽稱A是B的子集。記作A?B，讀作B包含A。
定義：若兩集合A、B滿足A?B且B?A，稱A與B相等，記作A=B。
定義：若兩集合A、B滿足A?B且A≠B，稱A是B的真子集，記作A真包含於B
·註意區別屬於關系（元素與集合）和包含關系（集合與集合）。
·任何集合都是其本身的子集
·空集是任何集合的子集且是任何非空集的真子集
·空集是唯壹的
·若有集合A、B、C，滿足C（真）包含B，B（真）包含A，則必有C（真）包含A。註意若x∈A，A?B，則有x∈B。