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

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

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

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

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