Universelle Eigenschaft des Koprodukts umformuliert.

Existenz und Eindeutigkeit (bereits in Set) sind jetzt von der Stetigkeit (in Top) getrennt.