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