a graph that uses plane shapes, esp circles, to represent sets and terms of propositions, the logical relations between and operations on the sets and terms being shown by the inclusion, exclusion, or intersection of the shapes
[named after John Venn d.1923, English logician, who devised it]