Contractible space (source code)

= Contractible space
{wiki}

= Contractible
{synonym}

A space is contractible when its identity map is homotopic to a constant map. Every map into a contractible space is null-homotopic.