Mathematika Wiki
Advertisement

Интерпретация символа операции на множестве[]

Множество интерпретация (англ. interpretation, нем. Interpretation) символа операции на множестве или кратко интерпретация символа операции , если множество является значением функции интерпретации от символа операции сигнатуры :

Обозначим .

Примеры[]

Сложение;

Умножение;

Ноль;

Операция следования;

Операция взятия модуля.

Связанные определения[]

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

Advertisement