Misal 2.2. fəzasındaxətti asılı olmayan, xətti asılı sistemdir.
Tərif 2.2. Əgər xətti fəzada , , ... sonsuz sistemin istənilən sonlu alt sistemi xətti asılı olmayan olarsa, ona xətti asılı olmayan sistem deyilir.
fəzasında xətti asılı olmayan element varsa və bu fəzanın istənilən elementi xətti asılıdırsa, onda -ə -ölçülü fəza deyilir və kimi yazılır. Əgər fəzasında istənilən sayda xətti asılı olmayan element varsa, onda deyirlər ki, sonsuz ölçülüdür.
Misal 2.3..-ölçülü fəzadır. Doğrudan da, , ,..., xətti asılı olmayan sistemdir, və istənilən , , ..., sistem üçün
bərabərliyi məchulu xətti bircins tənliklər sistemi ilə əvəz edilir, onunda tənliyi olduğundan trivial olmayan , , ..., həlli olur.
Misal 2.4. fəzası sonsuz ölçülü fəzadır. Doğrudan da, , , ,... elementlər sistemi xətti asılı olmayandır, çünki üçün
tənliyinin cəbrin əsas teoreminə görə -dən artıq həlli ola bilməz. Deməli, , yəni , , ,... sistemi xətti asılı olmayandır.
Alt fəzalar, xətti örtüklər. Tutaq ki, xətti fəzadır.
Tərif 3. Əgər -in alt çoxluğu -də təyin olunmuş toplama və ədədə vurma əməllərinə nəzərən xətti fəzadırsa, onda ona -in alt fəzası deyilir. Başqa sözlə
alt fəzadır , .
Misal 3.-də alt fəzadır.
Hər bir xətti fəzasında yalnız sıfırdan ibarət alt fəza var. -in özünə də alt fəza kimi baxmaq olar. -dən fərqli olan və heç olmazsa bir sıfrdan fərqli elementi olan alt fəzaya məxsusi alt fəza deyilir.
