ייחוס (תורת הקבוצות)
קפיצה לניווט
קפיצה לחיפוש
בתורת הקבוצות, ייחוס של נוסחה לקבוצה הוא נוסחה המסומנת המתקבלת מן הנוסחה המקורית לפי החוקים הבאים:
- אם היא נוסחה אטומית אז
- אם ישנן נוסחאות כך ש- באשר אז .
- אם ישנה נוסחה כך ש- אז .
- אם ישנה נוסחה כך ש- אז .
- אם ישנה נוסחה כך ש- אז .
ייחוס_(תורת_הקבוצות)24671313Q16131340