Si un atlas formula_92 es maximal (relativo al orden dado por la inclusión de conjuntos) entre todos los atlas sobre formula_4 (por supuesto bajo las condiciones 1 y 2, ya que de otra manera no sería atlas) se dice que el atlas formula_92 es una estructura diferenciable sobre formula_4.