truebeautyofmath.com
Definition: Disjoint Union
Definition: Let A and B be sets. The disjoint union of A and B is the set, often denoted by $latex A\sqcup B&fg=000000$, of elements of the form $latex (a, A)&fg=000000$ or $latex (b, B)&a…