Es sei ${\displaystyle {}S}$ eine Menge und ${\displaystyle {}M={\mathfrak {P}}\,(S)}$ die zugehörige Potenzmenge mit der durch die Inklusion gegebenen Ordnung. Dann liegt ein Verband vor, wobei das Infimum durch den mengentheoretischen Durchschnitt und das Supremum durch die Vereinigung gegeben ist. Man spricht vom Teilmengenverband.