Cho tập hợp A = (1;2 8 tập hợp A có tất cả bao nhiêu tập hợp con)
Trong Toán học, đặc biệt trong lý thuyết tập hợp, tập hợp A là một tập con (hay tập hợp con) của tập hợp B nếu A "được chứa" trong B. Quan hệ một tập là tập con của tập khác được gọi là quan hệ bao hàm. Nếu A và B là các tập hợp và mọi phần tử của A cũng là phần tử của B, thì: Nếu A là tập con của B, nhưng có ít nhất 1 phần tử của B không là phần tử của A thì A được gọi là tập hợp con thực sự (hay tập con đích thực) của B, ký hiệu A⊊B.{\displaystyle A\subsetneq B.}
Một số tài liệu cũng dùng ký hiệu A⊂B{\displaystyle A\subset B} thay cho A⊆B{\displaystyle A\subseteq B}, và B⊃A{\displaystyle B\supset A} thay cho B⊇A{\displaystyle B\supseteq A} với ý nghĩa tương tự. Tuy nhiên, nếu chi li ra thì ký hiệu A⊆B{\displaystyle A\subseteq B} được hiểu rằng A là tập con của B hoặc có thể bằng B, còn ký hiệu A⊂B{\displaystyle A\subset B} ít mang ý nghĩa A có thể bằng B hơn. Tương tự như vậy trong số học, khi viết x≤y{\displaystyle x\leq \;y} thì x có thể nhỏ hơn y, có thể bằng y, nhưng nếu viết xMột số tính chất của quan hệ bao hàm[sửa | sửa mã nguồn]
Tập các tập con của một tập hợp[sửa | sửa mã nguồn]
|