nếu A tập hợp con của B thì với mọi x thuộc A ,ta có x thuộc B
để chứng tỏ A là tập hợp con của B ta phải chứng tỏ với mọi x thuộc A thì x thuộc B
quy ước tập hợp rỗng là tập hợp con của mọi tập hợp
để chứng tỏ A ko phải là tập hợp con của B,chỉ cần nêu ra một phần tử của A mà ko thuộc B
