Diagram Venn
Bentuk persegi panjang dan digunakan untuk menggambarkan himpunan universal, dimana di dalamnya terdapat lingkaran-lingkaran yang menggambarkan subset-subset, tidak pelak lagi, orang langsung mengenal sebagai diagram Venn. Dalam kaitan dengan teori himpunan (set theory) ini dikenal istilah union, intersection, complement yang masing-masing mempunyai notasi yang berbeda-beda serta dan disjoint.

Kisah
Diagram secara sistimatik untuk menyatakan logika atau penalaran untuk pertama kali digunakan dan diperkenalkan oleh matematikawan dan filsuf Jerman, [Wilhelm Goottfried] Leibniz. Terus dikembangkan oleh [Leonhard] Euler, seorang matematikawan berkebangsaan Swiss. Penyumbang terakhir dari pengembangan diagram ini adalah John Venn [1834 – 1923], seorang ahli logikawan berkebangsaan Inggris. Venn membuat lebih sistematis, setelah melakukan perbaikan-perbaikan, dan mempopulerkan sehingga anak Sekolah Lanjutan mengenalnya sebagai diagran Venn untuk menggambarkan himpunan universal.