We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A union sign with a dot or a squared form, tagging each element by origin.
Also known as: Coproduct of sets, Tagged union, Discriminated union
The disjoint union keeps track of which set each element came from, so combining two copies of the same set gives twice as many elements rather than the same ones again. It is written as a union with a dot above, or as a squared-off union, and the distinction from ordinary union is the whole reason the notation exists.
Denotes a union in which elements are tagged by the set they came from, so members shared between the sets are not merged.
Contexts: Mathematics
Is written as a union sign with a dot above it, or with a squared-off form, according to the text's convention.
Contexts: Mathematics
A sideways U opening upwards with a small dot centred above it, or the same shape with square rather than rounded corners.