Für f gilt:
X ist die Definitionsmenge von f
P(X) ist die Bildmenge von f
Beachte die Gross- und Kleinschreibung:
"X ⊂ N+, x ∈ N+einsetze schaut die Funktion etwa so aus oder wie:
1 ↦ {1}
2 ↦ {2}
3 ↦ {3}
….
n ↦ {n}
Zuordnung kann so sein. Beachte die speziellen Pfeile.
Möglich wäre auch folgende Zuordnung
1 ↦ {1,2,3}
2 ↦ {1,2,3}
3 ↦ {1,2,3}
….
n ↦ {n,1,3,9}
Also völlig wilde Teilmengen von N_(+).
Kommt halt drauf an, was das werden soll.
Bist du sicher, dass X unendlich viele Elemente haben darf? Steht vielleicht irgendwo |X| sei endlich?