Cho X là một tập hợp và A B C là các tập con của X

1. Cho X là một tập hợp và A, B, C là các tập con của X . Chứng minh rằng:
A hợp B = A giao C <=>  A chứa C chứa B.