Dedekindin leikkaus
Wikipedia
Dedekindin leikkaus on matematiikassa sellainen kokonaan järjestetyn joukon jako kahteen epätyhjään joukkoon A ja B, että A:n jokainen alkio on pienempi kuin B:n jokainen alkio eikä joukossa A ole suurinta alkiota.
Dedekindin leikkaus on saanut nimensä saksalaisen matemaatikon Richard Dedekindin mukaan, joka konstruoi reaaliluvut rationaalilukujen leikkauksien avulla. Esimerkiksi jako ja
vastaa reaalilukua
.