Unión de grafos
# Unión de grafos

En el campo matemático de la teoría de grafos, la unión disjunta de grafos o simplemente unión de grafos es una operación binaria entre grafos. Es la extensión de la unión conjuntista al campo de los grafos. Si los grafos son no-etiquetados, entonces es una operación asociativa y conmutativa.

## Definición formal

* Sean los grafos $G_{1}(V_{1},A_{1})\,$ y $G_{2}(V_{2},A_{2})\,$ y $V_{1}\cap V_{2}=\emptyset$, la unión de los grafos $G_{1}\cup G_{2}\,$ da como resultado $G'(V',A')$ donde $V'=V_{1}\cup V_{2}$ y $A'=A_{1}\cup A_{2}\,$.

donde $V_1$ y $V_2$ son conjuntos disjuntos.

## Componentes conexas

Todo grafo no-conexo se puede definir como la unión de sus partes llamadas componentes conexas. El ejemplo más claro son los bosques, que pueden ser definidos como la unión de sus grafos árboles. Y los pseudobosques

