Un espacio topológico "X" es llamado un espacio de Baire si todo conjunto abierto no vacío es de segunda categoría en "X".