A topological space "X" is called "simply connected" if it is path-connected and any loop in "X" defined by "f" : S → "X" can be contracted to a point: there exists a continuous map "F" : D → "X" such that "F" restricted to S is "f".