{a.b}的真子集是{a}{b}{a,b}和空集
因为这里要求非空,所以排除空集
因为这里要求真子集,所以排除{a,b}
所以是{a}和{b}