若A,B,C为三个集合,A交B=B并C,则一定有