Дедеки́ндово сече́ние, разбиение множества действительных чисел $\boldsymbol R$ (или множества рациональных чисел $\boldsymbol Q$) на два непустых множества $A$ и $B$, в сумме дающих $\boldsymbol R$ $(\boldsymbol Q)$ таких, что для каждого $a \in A$ и $b \in B$ выполняется неравенство $a \lt b$. Дедекиндовы сечения введены Р. Дедекиндом (1872) при построении действительных чисел, когда иррациональные числа понимаются как такие сечения множества рациональных чисел, для которых в $A$ нет наибольшего, а в $B$ нет наименьшего рационального числа.

Свойство непрерывности (полноты) действительных чисел с помощью дедекиндова сечения формулируется так: для каждого дедекиндова сечения множества действительных чисел существует такое число, которое является либо наибольшим в $A$, либо наименьшим в $B$. Такое число называют рубежом дедекиндова сечения.