严格不等式
yán gé bù děng shì
严格不等式使用 < 或 > 来表示一个量严格小于或严格大于另一个量，不允许相等。
Definition
严格不等式使用 $<$ 或 $>$，意味着"但不等于"：边界值不包含在解中，因此在数轴上要在该值处画一个空心圆圈。严格不等式的解集是一个开区间，用区间表示法时以圆括号表示。严格地说，在有序域中，$a < b$ 意味着 $b - a$ 属于正锥 $P$，其中 $P$ 对加法和乘法封闭、不含零，并满足三分律；严格不等式在 $\mathbb{R}$ 的序拓扑中定义开集，构成标准拓扑的一组基，而由开区间生成的这种拓扑正是实分析的基础，因为开集与闭集的区分决定了连续性、紧致性和完备性。
Example
$x > 4$ 是严格不等式：$x$ 可以是 $5$、$6$ 或 $4.1$，但不能是 $4$ 本身，在 $4$ 处画空心圆圈。$x < -2$ 的解集是 $(-\infty, -2)$，不含边界点 $-2$；相比之下，$x \le -2$ 包含 $-2$，解集为 $(-\infty, -2]$。开区间 $(a, b) = \{x \in \mathbb{R} : a < x < b\}$ 由两个严格不等式定义，而 $\mathbb{R}$ 标准拓扑中的每一个开集都是这类开区间的可数并集。
Key Insight
"严格"意味着边界处没有任何回旋余地：必须严格更大或严格更小。开边界与闭边界的区别在微积分和实分析中至关重要；例如，定义在 $(0, 1)$（开区间）上的函数可能取不到最大值，而定义在 $[0, 1]$（闭区间）上时，最值定理保证它一定能取到。