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

המקומיות של פונקציה או של יחס היא פונקציה ${\displaystyle \sigma :{\mathcal {F}}\cap {\mathcal {R}}\rightarrow \mathbb {N} }$ המוגדרת באופן הבא:

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

המקומיות אינה משתנה תחת ייחוס.