Una unión es compatible entre dos relaciones R, S, si ellas poseen el mismo "grado" y el "dominio" del i-ésimo elemento de la relación R es el mismo que el i-ésimo elemento de la relación S.