Condition for Uniqueness of Increasing Mappings between Tosets

Theorem
Let $\left({S, \preceq}\right)$ and $\left({T, \preccurlyeq}\right)$ be tosets.

Let $f: S \to T$ and $g: S \to T$ be increasing mappings from $S$ to $T$.

Let $H \subseteq S$ be a subset of $S$.

Let $f$ and $g$ agree on $H$.

Let $K = f \left[{H}\right]$ be the image set of $H$ under $f$.

Let the intersection of $K$ with every set of the form:
 * $\left\{ {y \in T: u < y < v: u, v \in T, u < v}\right\}$

be non-empty.

Then $f = g$.

Proof
By hypothesis, let the intersection of $K$ with every set of the form:
 * $\left\{ {y \in T: u \prec y \prec v: u, v \in T, u \prec v}\right\}$

be non-empty.

$f \ne g$.

Then:
 * $\exists x \in S: f \left({x}\right) \ne g \left({x}\right)$

, suppose that $f \left({x}\right) < g \left({x}\right)$.

Let:
 * $a \in H$ such that $a \preceq x$
 * $b \in H$ such that $b \succeq x$

We have that $f$ and $g$ are increasing.

Thus:
 * $f \left({a}\right) \preccurlyeq f \left({x}\right)$
 * $g \left({b}\right) \succcurlyeq g \left({x}\right)$

Thus no element of $H$ maps to the set:
 * $\left\{ {y \in T: f \left({x}\right) \prec y \prec g \left({x}\right)}\right\}$

That is, the intersection of $K$ with this set, which is of the form:
 * $\left\{ {y \in T: u \prec y \prec v: u, v \in T, u \prec v}\right\}$

is empty.

This contradicts our hypothesis.

Thus, by Proof by Contradiction:
 * $f = g$