Гомоморфізм

морфізм в категорії алгебраїчних систем. Це відображення алгебраїчної системи А, що зберігає основні операції і основні відношення