ייחוס (תורת הקבוצות)

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

  1. אם היא נוסחה אטומית אז .
  2. אם ישנן נוסחאות כך ש- באשר אז .
  3. אם ישנה נוסחה כך ש- אז .
  4. אם ישנה נוסחה כך ש- אז .
  5. אם ישנה נוסחה כך ש- אז .
ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.