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

niin S on aliavaruus.