Si formula_5 es la completación causal de un conjunto abierto "U", entonces el formula_6 es un isomorfismo (causalidad primitiva).