デデキント切断

デデキント切断（デデキントせつだん、英: Dedekind cut）、あるいは単に切断（独: Schnitt）とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。 == 定義 == 全順序集合 (K, <) について、以下を全て満たす二つの集合の組 (A, B) をデデキント切断という。