המקומיות של פונקציה או של יחס היא פונקציה σ : F ∪ R → N {\displaystyle \sigma \colon {\mathcal {F}\cup {\mathcal {R}\rightarrow \mathbb {N} } המוגדרת באופן הבא:
המקומיות אינה משתנה תחת ייחוס.