Dedekind cut (English, noun)
expansion: Dedekind cut (plural Dedekind cuts)
Senses:
topics: mathematics
sciences
glosses: Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number.
Forms:
form: Dedekind cuts
tags: plural