絕對收縮

設 為在 同胚 下封閉的 拓撲空間 類，且設 為一個 拓撲空間。如果 且對於每個 使得 ， 是 的一個 收縮，則 是類 的絕對收縮。

這些概念可以推廣到 範疇論，並且由於存在範疇論版本，因此也存在其他更具體的版本，例如在泛代數和現代代數中。