La disjonction logique de deux propositions est vraie lorsque la première l’est ou lorsque la seconde l’est ou lorsque les deux le sont. Similairement, la réunion de deux ensembles de compose des éléments appartenant au premier ou au second ou aux deux.
— Krief, Hervé, « Les graphes existentiels » (2001), p. 43