Ist leider nicht näher definiert. Das ist das Einzige was in der Angabe steht.
Ich glaube, dass die Aufgabe eher so lautet.
Für eine Menge \(A\) sei jede Abbildung \(f:A\rightarrow P(A)\) nicht
surjektiv, dann gilt \(|A|\neq |P(A)|\).
Oder auch so:
Wenn es keine surjektive Abbildung \(f:A\rightarrow P(A)\)
gibt, dann gilt \(|A|\neq |P(A)|\).