The axiom of this concept states that for any set there exists a set whose elements are the elements of the elements of the first set.
The axiom of this concept states that for any set there exists a set whose elements are the elements of the elements of the first set. The unsorted and usual types of this operation remove repetition from a list, while the discriminated or disjoint type of this create an index giving information about the source of each element. The symmetric difference gives a subset of the result of this operation. When this operation is applied to two sets, the resulting cardinality is at least the higher cardinality of the two original sets and at most the sum of the cardinalities. The inclusion-exclusion principle states that the cardinality of this is the sum of the cardinalities of the inputs, minus the cardinality of the intersection. Name this operation that gives all the elements that are in either or both of the two input sets.
The axiom of this concept states that for any set there exists a set whose elements are the elements of the elements of the first set.
union