Entonces formula_6 cumplirá esta propiedad si formula_6 es un conjunto que pertenece a formula_54, cualquiera que sea el formula_55, lo cual se expresa así: formula_56.