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