src/extras/5A 戴德金分割与实数理论.md

@@ -286,6 +286,5 @@ $$A=\left\{x\in \mathbb Q\vert x<10\right\}$$
 
 由此，我们就可以定义除法。
 
-- **定义 5A.5.7（除法）**：设 $\alpha,\beta\in\mathbb R$，定义 $\alpha$ 除 $\beta$ 的商为 $\alpha^{-1}\beta$，记作 $\beta/\alpha$。
-
+- **定义 5A.5.7（除法）**：设 $\alpha,\beta\in\mathbb R$，其中 $\alpha\neq0$，定义 $\alpha$ 除 $\beta$ 的商为 $\alpha^{-1}\beta$，记作 $\beta/\alpha$。