(source : Wikipédia)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 de reële getallen te construeren. Dedekindsneden zijn genoemd naar Richard Dedekind.
Een dedekindsnede is een deelverzameling van die aan de volgende eisen voldoet:
De verzameling van alle sneden blijkt equivalent te zijn met
Alternatief kan een dedekindsnede ook gedefinieerd worden als een geordend paar... plus
