Definition von Homotopieabbildung und Homotopieäquivalenz