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

מתוך ויקיפדיה, האנציקלופדיה החופשית

המקומיות של פונקציה או של יחס היא פונקציה המוגדרת באופן הבא:

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

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

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