Реплика алгебраической системы
Ре́плика алгебраи́ческой систе́мы в заданном классе алгебраических систем той же сигнатуры, алгебраическая система из , обладающая следующими свойствами: 1) существует сюръективный гомоморфизм системы на ; 2) если и – гомоморфизм системы в , то для некоторого сюръективного гомоморфизма системы на . Реплика системы в классе (если она существует) определяется однозначно с точностью до изоморфизма. Класс называется реплично полным, если он содержит реплику любой алгебраической системы той же сигнатуры. Класс алгебраических систем фиксированной сигнатуры реплично полон тогда и только тогда, когда он содержит одноэлементную систему и замкнут относительно подсистем и прямых произведений. Аксиоматизируемыми реплично полными классами являются квазимногообразия и только они.