A homotópia a topologikus térben lévő pályák közti reláció. Ha két azonos kezdő- és végpontú pálya folytonosan átdeformálható egymásba, akkor homotópoknak nevezzük őket.

Például egy lyukas közepű körlapra (mint topologikus térre) tudsz olyan pályákat rajzolni, amelyek nem homotópok egymással (ha a két pálya egyesétése megkerüli a lyukat).