Unió disjunta
En teoria de conjunts, la unió disjunta de dos o més conjunts és un conjunt que "pràcticament" conté còpies disjuntes dels conjunts originals. Habitualment la unió disjunta dels conjunts A i B es denota o també tot i que aquesta operació pot estar representada per altres notacions diferents, com ara o fins i tot A + B. Aquestes notacions acostumen a estar relacionades amb el fet que, en teoria de categories, la unió disjunta és el coproducte de la categoria de conjunts.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/PolygonsSetDisjointUnion.svg/220px-PolygonsSetDisjointUnion.svg.png)
Quan els conjunts ja són disjunts, la unió disjunta coincideix amb la unió usual A ∪ B.
Per a calcular la unió disjunta de dos conjunts amb intersecció no nul·la, cal transformar-ne els seus elements afegint una etiqueta a cadascun d'ells que indiqui el conjunt de provinença. En general, sigui una família de conjunts (no necessàriament diferents) indexats per i ∈ I, aleshores la unió disjunta es defineix com:
Referències
modifica- Weisstein, Eric W., «Disjoint Union» a MathWorld (en anglès).