Vektorraum/Untervektorraum/Restklassenraum/Fakt

Es sei ein Körper, ein -Vektorraum und ein Untervektorraum. Es sei die Menge der Äquivalenzklassen (die Quotientenmenge) zu der durch definierten Äquivalenzrelation auf und es sei

die kanonische Projektion.

Dann gibt es eine eindeutig bestimmte -Vektorraumstruktur auf derart, dass eine -lineare Abbildung ist.