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

בתורת הקבוצות, ייחוס של נוסחה $\phi$ לקבוצה $A$ הוא נוסחה המסומנת $\phi ^{(A)}$ המתקבלת מן הנוסחה המקורית לפי החוקים הבאים:

1. אם $\phi$ היא נוסחה אטומית אז $\phi ^{(A)}=\phi$
2. אם ישנן נוסחאות $\psi ,\,\zeta$ כך ש-$\phi =\psi *\zeta$ באשר $*\in \{\wedge ,\,\vee ,\,\rightarrow \}$ אז $\phi ^{(A)}=\psi ^{(A)}*\zeta ^{(A)}$.
3. אם ישנה נוסחה $\theta$ כך ש-$\phi =\neg \theta$ אז $\phi ^{(A)}=\neg \theta ^{(A)}$.
4. אם ישנה נוסחה $\tau$ כך ש-$\phi =\forall _{x}\tau$ אז $\phi ^{(A)}=\forall _{x\in A}\tau ^{(A)}$.
5. אם ישנה נוסחה $\delta$ כך ש-$\phi =\exists _{x}\delta$ אז $\phi ^{(A)}=\exists _{x\in A}\delta ^{(A)}$.

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.