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.}
hay tương đương- B là tập cha thực sự của A, ký hiệu B⊋A.{\displaystyle B\supsetneq A.}
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 x