união

Em teoria dos conjuntos, a união de dois ou mais conjuntos é o conjunto dos elementos que pertencem a pelo menos um destes conjuntos. Em outras palavras, a união de dois conjuntos A e B é formada por todos os elementos pertencentes a A ou B ou a ambos. A união é uma operação binária, na álgebra booleana seria o Operador OR. A união de dois conjuntos sempre resultará em todos os elementos de ambos os conjuntos, sendo apresentados apenas uma única vez. É representada pelo símbolo . Representando por |X| o cardinal de um conjunto X, e por a interseção de conjuntos, tem-se , que vale para A e B conjuntos finitos ou infinitos. Para conjuntos finitos, a igualdade anterior pode ser escrita na forma , que é um caso particular do princípio da inclusão-exclusão.