Vektorraum/Untervektorraum/Prädikatenlogische Charakterisierung/Aufgabe/Lösung

Aus Wikiversity


Wir gehen davon aus, dass wir für und schon eine prädikatenlogische Beschreibung wie in Beispiel gefunden haben. Zur prädikatenlogischen Beschreibung eines Untervektorraumes führen wir ein weiteres einstelliges Relationssysmbol ein. Die folgenden Axiome charakterisieren dann einen Untervektorraum.