Definition

Let be a topological space, and . A path from to is a continuous function

such that and .

(basically the same thing as a curve, just for simplicity we have it always on the interval .)