（A交B）包含与A（B）和A（B）包含与（A并B）这两个关系要记住
（A交B）包含与A,A包含与（A并B）
或者（A交B）包含与B,B包含与（A并B）
根据上述关系推出（A交B）包含于（A并B）
有点类似等号的递推关系