Introduciendo otro espacio topológico F, utilizamos la función de proyección de "B" x "F" → "B" como modelo.