Aliavaruus voi matematiikan eri aloilla tarkoittaa ainakin seuraavia:

Lineaarinen aliavaruus eli vektorialiavaruus, vektoriavaruuden osajoukko, joka itsekin on vektoriavaruus Topologinen aliavaruus, topologisen avaruuden osajoukko varustettuna relatiivitopologialla