About: デデキント切断

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