כל מה שרצית לדעת על אקסיומת האיחוד:
בתורת הקבוצות האקסיומטית, אקסיומת האיחוד היא אקסיומה שמבטיחה שאיחוד האיברים של כל קבוצה הוא קבוצה.
באופן פורמלי: ∀ A ∃ B ( ∀ x ( ∃ C ∈ A , x ∈ C ) ⟺ x ∈ B ) {\displaystyle \forall A\exists B(\forall x(\exists C\in A,\,x\in C)\iff x\in B)} העובדה שקיים חיתוך של כל אוסף (לא ריק) של קבוצות נובע מאקסיומת ההפרדה – נבחר איבר E של אוסף הקבוצות A ונקבל: ⋂ C ∈ A C = { x ∈ E | ∀ C ∈ A , x ∈ C } {\displaystyle \bigcap _{C\in A}C=\{x\in E|\forall C\in A,\,x\in C\}} אקסיומת האיחוד היא אקסיומה מקובלת מאוד וכל מערכת אקסיומות סבירה של תורת הקבוצות מכילה אותה או גוררת את נכונותה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לאקסיומת האיחוד:
•אקסיומות של תורת הקבוצות