Vektorraum/Untervektorraum/Durchschnitt von zwei Vektorräumen/Prädikatenlogische Charakterisierung/Aufgabe

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet ${}S$ den Sachverhalt, dass der Durchschnitt von zwei Untervektorräumen in einem Vektorraum über einem Körper

wieder ein Untervektorraum ist.