Mustaqil ish mavzu : Алгебранинг таърифи ва мисоллар, морфизмлар, фактор-алгебра

Ta’rif 2. Signatura yoki til ∑ deb o’rni ko’rsatilgan predikat va funksional simvollar to’plamiga aytiladi. 0-o’rinli funksional simvolga constanta deyiladi.

Agar α funksional yoki predikat simvoli bo’lsa, u holda uni o’rni µ(α) yordamida belgilanadi.

n-o’rinli predikat va funksional simvollarni mos ravishda Pⁿ va f ⁿ orqali belgilaymiz. Agar qaralayotgan signaturada standart simvollar foydalanilayotgan bo’lsa, masalan: qo’shish amali uchun +, tartiblash munosabati uchun ≤, bo’lish amali uchun /, constant uchun 0 va shu kabilar, u holda biz quyidagicha yozamiz: