Dedekind Cut

(redirected from Dedekind-macneille completion)
Also found in: Dictionary.

Dedekind cut

[′dā·də·kint ‚kət]
A set of rational numbers satisfying certain properties, with which a unique real number may be associated; used to define the real numbers as an extension of the rationals.

Dedekind Cut


one of the arithmetic definitions of real numbers that does not introduce geometric concepts. It was first proposed in 1872 by the German mathematician J. W. R. Dedekind. The Dedekind cut expands the set of rational numbers to the set of all real numbers by introducing the new, irrational numbers, at the same time ordering them.

References in periodicals archive ?
where DM denotes the Dedekind-MacNeille completion.
4 Figure 3 shows the Dedekind-MacNeille completion of [T.