La definición del espacio de Baire puede establecerse ahora como sigue: