חוג של קבוצות

בתורת הקבוצות, חוג של קבוצות (Ring of sets) הוא אוסף לא ריק של תת-קבוצות הסגור לאיחוד והפרש. חוג קבוצות למחצה הוא אוסף לא ריק של תת קבוצות שהוא סגור לחיתוך, ובנוסף לכך הפרש קבוצות בו הוא איחוד זר סופי של איברים ממנו.

לחוגי קבוצות ולחוגים למחצה של קבוצות שימושים בתורת המידה; מוגדרות עליהן מידות חוגיות, אותן אפשר להרחיב למידות על סיגמא-אלגברה, לפי משפט ההרחבה של קרתאודורי.

הגדרה

תהי $X$ קבוצה נתונה.

משפחת תת קבוצות $S$ של $X$ תקרא חוג למחצה (Semiring) אם מתקיים:

• $\varphi \in S$ (מכילה את הקבוצה הריקה)
• $\mathrm{\forall }A,B\in S:A\cap B$ (סגורה לחיתוך)
• $\mathrm{\forall }A,B\in S\mathrm{\exists }{A}_1,...,A_n\in Sdistinct:A-B=A_1\cup ...\cup A_n$ (כל הפרש הוא איחוד סופי זר של איברים מ-$S$)

משפחת תת קבוצות $R$ של $X$ תקרא חוג (Ring) אם מתקיים:

• $\varphi \in R$ (מכילה את הקבוצה הריקה)
• $\mathrm{\forall }A,B\in S:A\cup B\in R$ (סגורה לאיחוד)
• $\mathrm{\forall }A,B\in S:A-B\in R$ (סגירות להפרש)

ראו גם

• אלגברה של קבוצות
• סיגמא-אלגברה