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

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

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

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

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

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

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

Функция.