Si tenemos un estado sobre formula_7, podemos tomar la "traza parcial" para conseguir estados asociados a formula_8 para cada conjunto abierto vía el monomorfismo de red.