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.

Zur Lösung, Alternative Lösung erstellen