Kurs:Differentialgeometrie (Osnabrück 2023)/Reeller endlichdimensionaler Vektorraum/Orientierung als Äquivalenzklasse/Definition/Definitionreferenznummer