Definition covarianter Abbildungen hinzugefügt.