1. (у топології) Властивість двох неперервних відображень між топологічними просторами, які можна неперервно деформувати одне в інше, тобто існує сімейство неперервних відображень, що зв’язує перше відображення з другим.
2. (у математиці) Відношення між відображеннями або фігурами, що описує їхню здатність до неперервної деформації одна в одну без розривів; бути гомотопними.