Endlichdimensionaler reeller Vektorraum/Borel-Mengen/Wohldefiniert/Aufgabe