Lemme du Nerf

Énoncé reliant le type d'homotopie d'un espace topologique recouvert par une famille d'ensembles au nerf simplicial de ce recouvrement : si un recouvrement est « bon » (chaque intersection finie non vide d'ensembles du recouvrement est contractile), alors le complexe simplicial du nerf est équivalent en homotopie à l'union (l'espace original).