p({a,b,c)上的包含关系 fa,b,c} (a,b) {a,c} b,c} (a) c {b} 0{a,b,c}  {c} {b} {a} {b,c} {a,c} {a,b} ({a,b,c})上的包含关系