Por ejemplo, supóngase formula_23, cuya imagen es formula_24, no está en formula_74 para algún formula_72, pero que este conjunto formula_74 contiene otro elemento formula_313 cuya imagen es también formula_24, de tal manera que formula_252 para cualquiera que sea el índice formula_72 sin necesidad de que formula_251 para todo formula_72.