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


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

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