A space is path-connected if for every pair it contains a continuous path with and . For any choose preimages . A path between those preimages maps to , a continuous path from to staying in . Thus a continuous image of a path-connected space is path-connected. Surjectivity onto the ambient codomain is not needed; the conclusion concerns .