Supongamos que "M" es una variedad diferenciable C, y φ: "U" → R donde "U" es un subconjunto abierto de "M", y "n" es la dimensión de la variedad, en la carta φ(·) además supóngase que "TM" es el espacio tangente en un punto "p" de "M".