The following pages link to The relation of path-homotopy is preserved under composition with continuous maps: