Vektorraum/Untervektorraum/Prädikatenlogische Charakterisierung/Aufgabe

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet ${}S$ , dass ein Untervektorraum in einem Vektorraum über einem Körper vorliegt.