שינויים

: A קבוצה נתונה בשאלה <math>R\subseteq A\times A</math> יחס נתון עליה. כעת ניתן להתבונן בכל יחסי השקילות האפשריים שמכילים את R (זה תת קבוצה של <math>P(A\times A)</math>) השאלה היא האם ניתן למצוא שם אחד (למשל S ) שהוא מינימאלי (כלומר שכל יחס שקילות אחר שמכיל גם את R וגם את ומוכל ב S שווה בעצם ל S או במילים אחרות אין יחס שקילות שמכיל את R ומכיל ומוכל ממש את ב S ). [[משתמש:אחיה בר-און|אחיה]]