デデキント切断

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