维恩图，也叫文氏图，用于显示元素集合重叠区域的图示。约翰·维恩是十九世纪英国的哲学家和数学家，他在1881年发明了维恩图。在剑桥大学的 Caius 学院的彩色玻璃窗上有对他的这个发明的纪念。在维恩图法中，如果有论域，则以一个矩形框表示论域；各个集合就以圆/椭圆来表示。两个圆/椭圆相交，其相交部分表示两个集合的公共元素，两个圆/椭圆不相交（相离或相切，而实际上在维恩图中相切是没有什么意义的，因为维恩图是以图形的内部区域来表示的）则说明这两个集合（或类）没有公共元素。集合 A 和 B 的组合区域叫做集合 A 和 B 的并集。在这个个例中并集包含要么两足、要么会飞、要么两足并且会飞的所有东西。圆圈交叠暗示着两个集合的交集非空 - 就是说在事实上有活物同时在橙色和蓝色圆圈中。
