Para todo conjunto formula_6 existe un conjunto formula_7 de manera que formula_8 si y solamente si existe un formula_9 tal que formula_2 verifique formula_1.