子集：AB。真子集：AB。
子集的符号语言：若a∈A，均有a∈B，则AB。
真子集的符号语言：如果集合AB，存在元素x∈B，且元素x不属于集合A，集合A是集合B的真子集。记作AB。
当存在两个集合，它们分别为集合A与集合B的时候，如果集合A当中所包含的元素，我们都能够从集合B当中找出元素与它一一相对应，那我们就可以说，集合A就是集合B的子集。
举例说明：设全集I为{1, 2, 3}，则它的子集可以是{1}、{2}、{3}、{1, 2}、{1, 3}、{2, 3}、{1, 2, 3}、∅；而它的真子集只能为{1}、{2}、{3}、{1, 2}、{1, 3}、{2, 3}、∅。它的非空真子集只能为{1}、{2}、{3}、{1, 2}、{1, 3}、{2, 3}。
