Redigerer Venn-diagram (avsnitt)

=== Eulerdiagrammer ===
[[Fil:venn-diagram-ABC.png|thumb|Et eulerdiagram]]

Eulerdiagrammer har likheter med venndiagrammer, men behøver ikke vise alle mulige forbindelser. I diagrammet til høyre er en mengde fullstendig inni en annen. La oss si at mengde ''A'' er alle de ulike typene ost som fins i verden og mengde ''B'' er alle matvareslag som fins i verden. Fra diagrammet kan du se at alle oster er matvarer, men ikke alle matvarer er oster. La oss videre ta at mengde ''C'' (la oss si alle ting laget av metall) ikke har noen elementer (medlemmer av mengden) felles med mengde ''B'', og utfra det kan vi logisk påstå at ingen matvareslag er metallting (og vice versa). Diagrammet kan tolkes som:
:Mengde ''A'' er en ekte [[delmengde]] av mengde ''B'', men mengde ''C'' har ingen elementer felles med mengde ''B''. Eller, som en [[syllogisme]]
* Alle ''A''er er ''B''er
* Ingen ''C''er er ''B''r
* Derfor er ingen ''C''er ''A''er.
* Derfor er ingen ''A''er ''C''er.