Aufgabe: Zeige, dass durch folgende Aussage eine Abbildung definiert ist.
Problem/Ansatz: Zeige, dass durch f: An/∼→ℕA0 , (a1,...,an)↦ (A→ℕ₀, a↦ #{i∈{1,...,n}Iai = a}) eine Abbildung definiert wird.
# steht für die Mächtigkeit von...
Für welche Mengen A ist die Abbildung dann surjektiv (bitte mit Begründung)
