Tập con của một tập hợp

Theo lý thuyết tập hợp, khái niệm tập con từ một tập hợp – áp dụng cho một phần nhất định của tập hợp. Một tập con tồn tại nếu mọi phần tử của nó thuộc về một tập hợp lớn hơn hoặc bằng.

Trong số các tập con, có thể phân biệt rõ tập con không rỗng và tập con nhỏ nhất. Quan hệ của các tập con được đặc trưng bởi các tính chất của phản xạ, truyền tải, đối xứng, v.v.

Khi đánh giá các đặc điểm định lượng của các tập con của tập hợp phần tử hữu hạn, hệ số nhị thức được sử dụng. Khái niệm tập con từ các tập hợp được áp dụng cho các mục đích thực tế trong giải quyết các vấn đề phân tích trong thống kê, đại số tập hợp, lý thuyết xác suất và trong nhiều hướng của toán học ứng dụng.