13. Гомоморфизм.

Такое отображение φ основного множества L одной алгебраической системы

на множество другой алгебраической системы, что:
(1) a1, a2…, ai, Lf, то
(2) φ [fi mi (a1, … ami)] = gi mi [φ (a1), … φ (am)]
(3) если Pi ni (a1, … ani) – истинно, то
Qi ni (φ (a1), … φ (ani)) = истинно.
здесь
fi mi, gi mi - mi арные операции
Pi ni, Qi ni – ni арные предикаты

f mi gi mi
φ

a1 … ami … a2 φ(a1) … φ(ami) … φ(a2)

Lf Lg