Un espacio topológico es llamado un espacio de Baire si la unión numerable de cualquier colección de conjuntos cerrados con interior vacío tiene un interior vacío.