כל קבוצה מוכלת באיחוד שלה עם קבוצה אחרת - תורת הקבוצות

הוכח: לכל קבוצות A , B מתקיים  A ⊆ A⋃B .

הוכחה:

על  פי הגדרת  A⋃B :

A⋃B = {x | x ∈ A או x ∈ B}

לכן לכל  A המוגדר כ:  {x | x∈ A} מתקיים A ⊆ A⋃B .