# The relation of path-homotopy is preserved under composition with continuous maps

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Demote to A when fleshed out a bit, and denote to B once it is a "healthy" stub

## Statement

Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces; suppose that [ilmath]g_0,g_1:I\rightarrow X[/ilmath] (where [ilmath]I:=[0,1]\subset\mathbb{R}[/ilmath] - the unit interval) are paths and are path-homotopic and [ilmath]f:X\rightarrow Y[/ilmath] is a continuous map, then both [ilmath]f\circ g_0[/ilmath] and [ilmath]f\circ g_1[/ilmath] are path-homotopic in [ilmath]Y[/ilmath][1].