:בשאלה הראשונה, תנסה כמה דוגמאות עם קבוצות סופיות עד שתבין איך זה עובד. אין דרך להסביר יותר טוב את השאלה כי היא כתובה באופן לוגי ברור. "קיים T כך ש(R מוכל בT וגם לכל S (אם R מוכל בS אזי T מוכל בS))" (פלוס השייכות לאוסף יחסי השקילות במקומות המתאימים, כמובן).
:בשאלה שלוש הכוונה ל'''כל''' היחסים, לא משנה אם הם מסוג מוגדר או לא --[[משתמש:ארז שיינר|ארז שיינר]] 10:55, 28 ביולי 2011 (IDT)
אני מבין למה זה נכון, זה ברור שפשוט צריך להוסיף כמות מינימאלית של איברים ל-R בכדי לקבל יחס שקילות הכי קטן המכיל את R, אבל אני לא יודע איך לגשת בכלל לשאלה, אני לא מבין מה אני צריך לקחת כנתונים ומה אני צריך להוכיח.