Espacio Clasificador (BG)

Un espacio topológico BG asociado a un grupo topológico G tal que los fibrados principales en G sobre un espacio X corresponden bijectivamente (a isomorfismo) con las clases de homotopía de aplicaciones X → BG; a menudo se realiza mediante un espacio total contractible EG con acción libre de G y BG = EG/G.