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

המקומיות  של פונקציה או של יחס היא פונקציה  המוגדרת באופן הבא: 
 לכל סימן פונקציה  הערך  הוא כמות הפרמטרים שהפונקציה מקבלת.
לכל סימן יחס  הערך  הוא מספר האיברים עליהם חל היחס, כאשר כל איבר הוא או קבוע או משתנה.

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

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