つまり、つねに上限を持つ順序集合への単調写像formula_1が上に有界であるとき、列formula_12に対してformula_13は上限を持つ。