デデキント切断
デデキント切断(デデキントせつだん、英: Dedekind cut)、あるいは単に切断 (独: Schnitt) とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。