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

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

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