En la teoría de conjuntos, la unión de conjuntos es una operación binaria en el conjunto de todos los subconjuntos de un U, Conjunto universal, dado. Por la cual a cada par de conjuntos A y B de U se le asocia otro conjunto: de U.
Si A y B son dos conjuntos, entonces su unión es:
La unión de A y B, es el conjunto de elementos x de U, tal que, x pertenezca a A, o que, x a pertenezca a B.
Sean A, B y C tres conjuntos cualesquiera.