שינויים

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