喺拓撲學上，兩個定義係拓撲空間之間嘅連續函數，如果其中一個可以「連續咁變換」做另一個，咁呢兩個函數就叫做同倫嘅（homotopic）而嗰個連續嘅變換就係兩個函數之間嘅一個同倫。