Infima of two Real Sets

Theorem
Let $S$ and $T$ be sets of real numbers.

Let $S$ and $T$ admit infima.

Then:


 * $\inf S \ge \inf T \iff \forall \epsilon \in \R_{>0}: \forall s \in S: \exists t \in T: s + \epsilon > t$

Proof
Note that because $S$ and $T$ both admit infima, it follows that they are not empty.

Let:


 * $-S = \left\{{-s: s \in S}\right\}$


 * $-T = \left\{{-t: t \in T}\right\}$

Observe that:


 * $s \in S \iff -s \in -S$


 * $t \in T \iff -t \in -T$

We know that $\inf S$ and $\inf T$ exist.

The expression $\inf S \ge \inf T$ exists as $\inf S$ and $\inf T$ exist.

In other words, for fixed sets $S$ and $T$, $\inf S \ge \inf T$ is either true or false.

We find:

Also see

 * Suprema of two Real Sets