Zeige, dass durch folgende Aussage eine Abbildung definiert ist.

Question

Aufgabe: Zeige, dass durch folgende Aussage eine Abbildung definiert ist.

Problem/Ansatz: Zeige, dass durch f: Aⁿ/∼→ℕ^A₀ , (a₁,...,a_n)↦ (A→ℕ₀, a↦ #{i∈{1,...,n}Ia_i = 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)