Trong toán học, một tập hợp con của một tập hợp cho trước là một tập hợp của những điều mà thuộc về tập hợp ban đầu.