ועוד שאלה : הגדרנו בכיתה שאיחוד אוסף על תתי הקבוצות של A הוא A - לכן סעיף ב הוא לא מיותר?
ואם לא, האם איחוד אוסף כל תתי הקבוצות של קבוצה ייתן את הקבוצה הגדולה ("המקורית " ) ?
: בואו נדייק. R הוא תת-קבוצה של <math>A\times A</math> ולאו דווקא שווה לה. לא כתוב ש- <math>A_i</math> מקיים משהו, להיפך, כתוב שזוג סדור (x,y) שייך ל- R רק אם גם x וגם y שייכים לאותה קבוצה <math>A_i</math>, כאשר i יכול להיות מספר טבעי כלשהו בין 1 ל- n. כלומר "קיים" ולא "לכל".
: לגבי השאלה השניה - לא כתוב בשאלה שאיחוד כל <math>A_i</math> נותן קבוצה A. זאת כיוון שלא מדברים על "כל" תת-קבוצות אלא רק על אוסף מסוים. --[[משתמש:Grisha|Grisha]] 23:37, 22 ביולי 2012 (IDT)
== תרגיל 2 שאלה 5 ==