Se definen a los grupos de homología y cohomología como cero para los grados negativos, así que la dualidad de Poincaré en particular implica que los grupos de homología y cohomología de las "n"-variedades cerradas orientables - son cero para los grados mayores que "n".