die größte Zahl n ∈ ℕ₀, für die es eine abgeschlossene Teilmenge A ⊆ X gibt (X der topologische Raum) derart, daß für die relative Homologiegruppe gilt \begin{eqnarray}{H}_{n}(X,A;G)\ne \{0\}.\end{eqnarray}

Die duale Begriffsbildung ist die kohomologische Dimension eines topologischen Raumes.