:יהי יחס R וקבוצה A. תהי B תת קבוצה של A. אזי <math>R\cap (B\times B)</math> הינו יחס סדר חלקי (תרגיל) והוא נקרא היחס המצומצם לB. שאר ההגדרה היא כפי שרשום בתרגיל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== תירגול 4 ==
מה הכוונה כל פעם שרשום P(A) ,הכוונה לפונקציה כלשהי ?