Der Nachfolger einer Menge ist eine Menge, die sich aus ihren Vorgängermengen zusammensetzt. Man vereinigt fortwährend die bisherige Menge A mit der Menge von dieser Menge {A}. Die neue Menge erhält dadurch eine doppelte Klammer {{A}}.
Beispiel
Diese Menge wird geklammert und mit sich selbst vereinigt.
Diese Vereinigung kann man schöner schreiben: