デデキントの切断 (デデキントのせつだん) — Dedekind cut | Kumi Dictionary