Kotangenttiavaruus on vektoriavaruuden konjugaatti tangenttiin . _ Kotangenttiavaruus sileään jakosarjaan pisteessä on yleensä merkitty .
Kotangenttinipun osat ovat 1-muotoisia .
Valitun paikalliskartan differentiaalit edustavat perustaa .