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