Homotopic Map

Say $x,y\in X$ are homotopic ($x\simeq y$) iff $\exists p:\mathbb{I}\to X$ s.t.

• $p$ is continuous,
• $p_0=x$
• $p_1=y$

See also

Homotopy Theory Path Connected