1. mondat: Ez azt jelenti, hogy az M, W és N közötti homotopikus egyenérték homotopikus C-izomorfizmus. 2. mondat: Ez azt jelenti, hogy az M, W és N közötti homotopikus egyenértékűség egy C-izomorfizmus homotopja. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
Nem, nem.