デデキントの切断

Dedekind cut