Definition:Homotopy/Path

Definition
Let $X$ be a topological space.

Let $f, g: \closedint 0 1 \to X$ be paths.

We say that $f$ and $g$ are path-homotopic if they are homotopic relative to $\set {0, 1}$.

Also see

 * Definition:Path Homotopy
 * Homotopic Paths have Same Endpoints
 * Relative Homotopy is Equivalence Relation