De manera rigurosa, se puede decir que existe un conjunto formula_16 tal que formula_10 si y solo si formula_18.