デデキントの切せつ断だん

expression, noun

Dedekind cut

A mathematical construction used to define real numbers in terms of rational numbers. Domain-specific term in real analysis.

• デデキントの切せつ断だんは実じっ数すうの連れん続ぞく性せいを定てい義ぎするために使つかわれる。

  Dedekind cuts are used to define the continuity of real numbers.