P交Q=P,P并Q=Q都表示P是Q的子集;P并(CuQ)=空集表示P为空集或Q为全集,无论如何,P是Q的子集
P含于Q表示P是Q的子集
P含于Q等价的命题有:
P交Q=P;
P并Q=Q;
P并(CuQ)=空集;