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