Operation in set theory; union (denoted by ∪) of a collection of sets is the set of all distinct elements in the collection.