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