Umumiy holda, fazo cheksiz bo’lsa, biz ning barcha qism to’plamlarini qaramaymiz, balki faqatgina uning algebra va -algebra deb ataluvchi qism to’plamlar sinfini qaraymiz.
7-ta’rif. ning qism to’plamlaridan tuzilgan to’plamlar sistemasi algebra deyiladi, agar quyidagi munosabatlar bajarilsa:
(1)
(2) ekanligidan kelib chiqsa;
(3) ekanligidan, lar kelib chiqsa.
10-misol. 1) Osongina tekshirib ko’rish mumukinki, algebraning barcha shartlarini qanoatlantiradi va bu algebraga trivial algebra deyiladi.
2) - hodisadan hosil bo’lgan algebra.
8-ta’rif. ning qism to’plamlaridan tuzilgan sistema, -algebra deyiladi, agar quyidagi munosabatlar bajarilsa:
(1) algebra;(2) ekanligidan lar kelib chiqsa.
11-misol. ning elementlari cheklita bo’lmasa, u holda barcha qism to’plamlaridan tuzilgan to’plamlar sistemasi -algebra tashkil qiladi.
Eslatma.Har qanday -algebra, algebra bo’ladi. Har qanday algebra -algebra bo’lmasligi mumkin.