Diremos que el conjunto formula_11 es igual al conjunto formula_22, lo que denotaremos por formula_43, si y solo si formula_44 y formula_24.