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

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

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

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

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.