Es sei ${\displaystyle {}K}$ ein Körper, ${\displaystyle {}V}$ ein ${\displaystyle {}K}$-Vektorraum und ${\displaystyle {}U\subseteq V}$ ein Untervektorraum. Dann nennt man die Menge ${\displaystyle {}V/U}$ der Äquivalenzklassen mit der in Fakt bewiesenen Vektorraumstruktur den Restklassenraum (oder Quotientenraum ) von ${\displaystyle {}V}$ modulo ${\displaystyle {}U}$.