Dedekindscher_切斷