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 .)