Wenn bei einer Mengendefinition eine Grundmenge M angegeben wird, so enthält die Komplementärmenge A' alle Elemente der Grundmenge M, die kein Element der Menge A sind.
Es seien A und B Mengen. Das kartesische Produkt A x B ist die Menge aller geordneten Paare (a,b), wobei a ein Element der Menge A und b ein Element der Menge b ist.