Lema del Nervio

Afirmación que relaciona el tipo de homotopía de un espacio topológico cubierto por una colección de conjuntos con el nervio simplicial de esa cubierta: si una cubierta es 'buena' (cada intersección finita no vacía de conjuntos de la cubierta es contractible), entonces el complejo simplicial del nervio es homotópicamente equivalente a la unión (el espacio original).