Named after the British mathematician John Venn (1834-1923), Venn diagrams are overlapping circles representing the subject and predicate classes of a categorical proposition.