Функция интерпретации

Функция интерпретации сигнатуры на множестве

 * $$a,b,c,d,e,f,g$$ - множества,
 * $$d = \Sigma(e,f,g)$$ - сигнатура,
 * $$b = \mathrm{AlgStruct}(c,a,d)$$ - алгебраическая структура.

Множество $$a$$ — функция интерпретации (англ. function of interpretation, нем. Funktion der Interpretation) сигнатуры $$d$$ на множестве $$c$$ или кратко функция интерпретации.

Связанные определения
Интерпретация символа отношения;

Интерпретация символа операции.