Diagramme de Venn

vignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique. gauche|vignette|L'ensemble A (créatures bipèdes) et B (créatures pouvant voler). Cet exemple est composé de deux ensembles A et B, représentés ici sous forme de cercles colorés. Le cercle orange, l'ensemble A, représente toutes les créatures vivantes bipèdes. Le cercle bleu, l'ensemble B, représente les créatures vivantes qui peuvent voler. Chaque type de créature distincte peut être imaginé comme un point situé dans ce diagramme. Les créatures vivantes qui sont bipèdes et qui peuvent voler —par exemple, les perroquets— sont alors compris dans les deux ensembles, et correspondent ainsi aux points situés dans la région où les cercles bleu et orange se chevauchent. Les humains et les manchots sont bipèdes, ils sont ainsi dans le cercle orange, mais comme ils ne peuvent pas voler, ils apparaissent dans la partie gauche du cercle orange, où il ne se chevauchent pas avec le cercle bleu. Les moustiques ont six pattes, et volent, de sorte que le point correspondant aux moustiques est placé dans la partie du cercle bleu qui ne se chevauchent pas avec l'orange. Les créatures qui ne sont pas bipèdes et qui ne peuvent pas voler (par exemple, les baleines et les araignées) sont toutes représentées par des points à l'extérieur des deux cercles. La région combinée des ensembles A et B est appelé l'union de A et B, notée A ∪ B. L'union dans ce cas contient toutes les créatures vivantes qui soit sont bipèdes, soit volent, ou les deux.