Un espacio topológico que tiene el mismo tipo homotópico que un conjunto unitario se dice contractible.