Die Elemente von \(\alpha\) sind gemäß Definition einer
Partition Teilmengen von \(A\), also Elemente der Potenzmenge \(P(A)\) von \(A\),
d.h. \(\alpha\) ist eine Menge von Elementen von \(P(A)\), folglich eine Teilmenge
von \(P(A)\): \(\alpha \subseteq P(A)\).
Wenn die leere Menge bei euch Element einer Partition sein darf,
wäre \(\{\emptyset, \{1\}\}\) = \(P(A)\) mit \(A=\{1\}\) eine solche wie erfragt.
Ist dies bei euch nicht erlaubt, so gibt es kein solches \(A\) und
keine solche Partition.