Die Anzahl der Elemente einer Menge M nennt man die Mächtigkeit der Menge: Im Fall spricht man von einer endlichen Menge, im Fall von einer unendlichen Menge.