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