A topological space is said to be contractible if it is homotopy equivalent to a point. Equivalently, the space is contractible if a constant map is homotopic to the identity map. A contractible space has a trivial fundamental group.