הכוונה שלך נכונה, אבל זה לא נכון לקרוא לזה מינימום כי זה פשוט לא נכון שתת קבוצה של מחלקת שקילות מקיימת את תכונת הסגירות.
אם E הוא יחס שקילות אז מחלקת השקילות של- X היא כל האיברים Y כך שמתקיים: xEy
בדוגמא שנתת עם הזוגיים X ו-Y, אז זה פשוט לא נכין להגיד שהקבוצה {1} מקיימת את תכונת הסגירות כי מתקיים:
1E3 אבל 3 לא שייך לקבוצה {1}.
ובעצם כל תת קבוצה שתיקח של מחלקת השקילות פשוט לא תקיים את התכונה
אם E הוא יחס שקילות אז מחלקת השקילות של- X היא כל האיברים Y כך שמתקיים: xEy
בדוגמא שנתת עם הזוגיים X ו-Y, אז זה פשוט לא נכין להגיד שהקבוצה {1} מקיימת את תכונת הסגירות כי מתקיים:
1E3 אבל 3 לא שייך לקבוצה {1}.
ובעצם כל תת קבוצה שתיקח של מחלקת השקילות פשוט לא תקיים את התכונה
מחובר