Verband (𝔓(M), ⊆), der aus allen Teilmengen der Menge M besteht.

Für zwei Teilmengen A und B gilt A ⊆ B genau dann, wenn A eine Teilmenge von B ist. Für die Menge 𝔓(M) ist auch die Bezeichnung Potenzmenge gebräuchlich.