Gegeben ist (ℕ; *) mit der Operation a * b = a^b. Ist (ℕ; *) eine algebraische Struktur? Begründe.
Ich habe es nun versucht, so zu begründen:

Reicht das so als Begründung oder müsste man das formaler begründen (wenn man davon ausgeht, dass der Zahlenbereich der natürlichen Zahlen schon definiert ist und nicht auch noch bewiesen werden muss)?
Punkte: 25