Aliavaruus.
Olkoon S
F
:n ei-tyhjä joukko. Jos
niin S
on
aliavaruus.
:n ei-tyhjä joukko. Jos