Más concretamente, es un espacio topológico en el que cada punto tiene un entorno homeomorfo a un abierto de un espacio de Banach.