FANDOM


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

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

Примечания Edit

Так как каждая функция — упорядоченная тройка области определения, области допустимых значений и области значений и сигнатура уже содержит в себе составляющие области определения, а областью допустимых значений является множество-бесконечность, которую мы согласно соглашению всюду считаем данной изначально, то для краткости будем ассоциировать функцию местности с областью значений функции местности.

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

Местность символа отношения;

Местность символа операции;

Функция.

Community content is available under CC-BY-SA unless otherwise noted.