נגיד שיש n קבוצות בתוך S, אז האיחוד הכללי זה האיחוד של כל n הקבוצות.
:התשובה לעיל נכונה אך לא מדויקת. הסיבה למושג "איחוד כללי" היא שמספר הקבוצות ב-S יכול להיות אינסופי. איבר שייך לאיחוד הכללי אם"ם הוא שייך לאחת מהקבוצות ב-S (לפחות) --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== שאלה לא ממבחן. ==
כנראה לא הייתי בהרצאה או משהו, אבל איך מוכיחים שהעוצמה של הממשים שווה לעוצמה של קבוצת החזקה של הטבעיים?