Вступ до алгебричної геометрії/Елементи алгебричної геометрії

Елементи алгебричної геометрії

Алгебричні системи

Мови та гомоморфізми

Мова (сигнатура) $L=P\cup F\cup C$ - це сукупність, яка складається з множин $P,F$ та $C,$ де $P$ - множина предикатних символів, $F$ - множина функціональних символів, а $C$ - множина константних символів. Із кожним предикатним $P\in ℝ$ та функціональним $F\in 𝔽$ символами однозначно пов'язане натуральне число $n_{ℝ}$ чи $n_{𝔽}$ (арність). Арність функціонального чи предикатного символа позначається ${𝔽}^{(n)}$ чи ${ℝ}^{(n)}$ відповідно. Функціональні символи називаються основними операціями мови $L.$