Diagramoj de VennVenn-aj diagramoj estas uzataj en aro-teorio kaj en logiko.

Jena ekzemplo de venn-a diagramo

montras, ke:

  • se io posedas econ A, ĝi posedas econ B.
  • ne eblas samtempe posedi econ C kaj econ B
  • posedanto de eco C ne posedas econ A.