Kurs:Differentialgeometrie (Osnabrück 2023)/Reeller endlichdimensionaler Vektorraum/Orientierter Vektorraum/Definition/Definitionreferenznummer