Được giới thiệu từ những năm đầu thế kỷ 18, nguyên lý bao hàm - loại trừ là một phương pháp tổng quát để đếm lực lượng của hợp các tập hợp. Không chỉ hữu dụng trong lý thuyết tập hợp, nguyên lý này cũng có thể được dùng để giải rất nhiều bài toán phức tạp trong lý thuyết số, lý thuyết đồ thị và xác suất.
Wikipeadia - Nguyên lý bao hàm - loại trừ
VNOI Wiki - Bao hàm - loại trừ
CP Algorithms - the Inclusion - Exclusion Principle