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


 * $$a,b,c,d,e,f$$ - множества,
 * $$b = \Sigma(c,d,e) $$ - сигнатура,
 * $$f\in d$$ - символ операции

Множество $$a$$ — местность (англ. arity, нем. Stelligkeit) символа операции $$f$$, если множество $$a$$ является значением функции местности $$e$$ от символа операции $$f$$: $$ \Upsilon(a,b,c,d,e,f,g) \ \stackrel{\mathrm{def}}{=} \ a = e(f) $$