Mathematika Wiki
Advertisement

Сужение функции на множество[]

Множество сужение (англ. restriction, нем. Einschränkung) функции на множество или кратко сужение функции , если множество является функцией, действующей из множества в множество , причём график функции является подмножеством графика функции :

Обозначим .

Сужение алгебраической структуры до сигнатуры[]

Алгебраическая структура сужение (англ. restriction, нем. Einschränkung) алгебраической структуры до сигнатуры , если алгебраическая структура удовлетворяет следующему условию: функция интерпретации сигнатуры на множестве равна сужению функции интерпретации сигнатуры на множестве :

Обозначим .

Advertisement