Sơ đồ Venn (còn được gọi là biểu đồ Venn hoặc sơ đồ tập hợp) là một sơ đồ cho thấy tất cả các mối quan hệ logic có thể có giữa một số lượng hữu hạn các tập hợp.[1][2] Sơ đồ Venn đã được John Venn xây dựng khoảng năm 1880. Sơ đồ này được sử dụng để dạy lý thuyết tập hợp sơ cấp, cũng như minh họa mối quan hệ tập hợp đơn giản trong xác suất, logic học, thống kê, ngôn ngữ học và tin học.