That is, A ∪ ∅ = A, for any set A. This follows from analogous facts about logical disjunction.
Така, A ∪ ∅ = A, за кое било множество A. Ова следи од аналогните факти за логичката дисјункција.