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