Assertion: path | /r/HasProperty | connected by homotopy
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).