אלגברה של קבוצות

אלגברה של קבוצות (שדה של קבוצות) היא אוסף של קבוצות בתוך קבוצה גדולה שנקראת X. אם קבוצה נמצאת באלגברה, גם ההשלמה שלה נמצאת שם. ההשלמה פירושה: כל האיברים שב־X שאינם בקבוצה. אם מחברים מספר קבוצות אחדות, האיחוד שלהם גם נמצא באלגברה. איחוד סופי פירושו חיבור של כמה קבוצות. דוגמה פשוטה: כל האיחודים הסו...