„Die Bildung der Komplementärmenge von einer Teilmenge eines festen Grundbereichs G ist eine einstellige Operation, die jeder Teilmenge von G eine eindeutig bestimmte Teilmenge von G zuordnet.“
« La formation de l'ensemble complémentaire d'un sous-ensemble d'un domaine de base fixe G est une opération unaire qui associe à chaque sous-ensemble de G un sous-ensemble de G déterminé de manière univoque. »