Lukas' Notes

Definition

Union

The union of sets and contains every element belonging to at least one of them:

The “or” is inclusive: elements belonging to both sets are included, but occur only once. Unlike a disjoint union, ordinary union does not preserve separate copies according to their source.