Dados dos conjuntos y , su unión es el conjunto que contiene todos los elementos, que pertenecen por lo menos a uno de los conjuntos o :