Definition union_eq
Definition.
union_eq
A ∪ B = {x | x ∈ A ∨ x ∈ B}
The
union
of two classes is the class containing every element that appears in at least one of them.