מקומיות (תורת הקבוצות)

המקומיות של פונקציה או של יחס היא פונקציה $\sigma :ℱ\cup ℛ\to \mathbb{N}$ המוגדרת באופן הבא:

1. לכל סימן פונקציה $f\in ℱ$ הערך $\sigma (f)$ הוא כמות הפרמטרים שהפונקציה מקבלת.
2. לכל סימן יחס $R\in ℛ$ הערך $\sigma (R)$ הוא מספר האיברים עליהם חל היחס, כאשר כל איבר הוא או קבוע או משתנה.

המקומיות אינה משתנה תחת ייחוס. תבנית:קצרמר