Dedekind Cut

Een dedekindsnede, ook snede van Dedekind of kortweg snede genoemd, is een speciale deelverzameling van de rationale getallen die een reëel getal voorstelt. Dedekindsneden worden gebruikt om uit de rationale getallen $\backslash Q$ de reële getallen $\backslash R$ te construeren. Dedekindsneden zijn genoemd naar Richard Dedekind.
Een dedekindsnede $\backslash alpha$ is een deelverzameling van $\backslash Q$ die aan de volgende eisen voldoet:
De verzameling van alle sneden blijkt equivalent te zijn met $\backslash R$
Alternatief kan een dedekindsnede ook gedefinieerd worden als een geordend paar... meer