Dedekind Cut ‘$uccessor’