Vektorraum/Untervektorraum/Prädikatenlogische Charakterisierung/Aufgabe