En general las subvariedades diferenciables son los subconjuntos de puntos para los cuales es posible definir localmente una función diferenciable "f" que satisfaga: