coupure de Dedekind

Noun

 * 1)  Dedekind cut