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