Die ''Menge'' aller Teilmengen einer vorgegebenen ''Menge'' bildet unter den üblichen Mengenoperationen einen booleschen Verband.
{{K|Mathematik}} eine [[Zusammenfassung]] von verschiedenen, eindeutig angegebenen [[Element]]en