Sin pérdida de generalidad se puede asumir que dicho conjunto no es vacío y que sus elementos están numerados como formula_3.