הצגת המקור של הדף "מקומיות (תורת הקבוצות)"

ה'''מקומיות'''  של [[פונקציה]] או של [[יחס (לוגיקה)|יחס]] היא פונקציה <math> \sigma \colon \mathcal{F} \cup \mathcal{R} \rightarrow \mathbb {N} </math> המוגדרת באופן הבא: 
# לכל סימן פונקציה <math> f \in \mathcal{F} </math> הערך <math> \sigma (f) </math> הוא כמות הפרמטרים שהפונקציה מקבלת.
#לכל סימן יחס <math> R \in \mathcal{R} </math> הערך <math> \sigma (R) </math> הוא מספר האיברים עליהם חל היחס, כאשר כל איבר הוא או [[פרמטר|קבוע]] או [[משתנה]].

המקומיות אינה משתנה תחת [[ייחוס (תורת הקבוצות)|ייחוס]].
{{קצרמר|מתמטיקה}}

[[קטגוריה:לוגיקה]]
[[קטגוריה:תורת הקבוצות]]