Assertion: path | /r/HasProperty | homotopic
Facets:
Source sentences:
text: The paths f 0 and f 1 connected by a homotopy are said to be homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous functions between fixed spaces).
text: The paths f 0 and f 1 connected by a homotopy are said to be homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous functions between fixed spaces).