Функция местности

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

• $a,b,c,d$ - множества,
• $a = \Sigma(b,c,d)$ - сигнатура.

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

Примечания

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

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

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

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

Функция.