Схематичное изображение всех возможных пересечений нескольких (часто — трёх) множеств. Они появились в сочинениях английского логика Джона Венна (1834–1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году.