Describir: Condiciones suficientes para que la unión de dos digráficas infinitas resulte núcleo perfecta