Et er et vektorrom som er en delmengde av et annet vektorrom, og der operasjonene vektoraddisjon og skalarmultiplikasjon er felles. En nødvendig forutsetning for at en mengde skal være et underrom av et vektorrom er at inneholder nullelementet i . I tillegg må være lukket under vektoraddisjonen og skalarmultiplikasjonen.