Una "cortadura de dedekind" es un par ordenado formula_102 que hace precisamente esto.