Dedekind cuts
English
Noun
Dedekind
cuts
plural of
Dedekind cut