Definition

Die Potenzmenge, die alle Teilmengen von als Element enthält.