Sea formula_171 un conjunto ordenado, y sea formula_202.