如果A属于B而永远不于B相同,就是真子集,如果只是属于而不一定相同,就是子集
例如:{a,b}的子集有{a}{b}{a,b}
真子集有 {a}{b}而没有{a,b}