---
tag: 0G3RRM41X9
kind: concept
name: Dedekind cut
msc: [26A03]
sources:
  - url: https://en.wikipedia.org/wiki/Dedekind_cut
    locator: lead section
same_as:
  wikidata: Q851333
  wikipedia: Dedekind cut
---

## Summary

A Dedekind cut splits the rational numbers into a lower part and an upper part.
Each real number corresponds to exactly one cut, so the cuts give a construction of the [[real numbers|08J2M1JYAG]] from the [[rational numbers|0NCJ5WXN6Z]].