Subset and Image Admit Infima and Mapping is Increasing implies Infimum of Image Succeeds Mapping at Infimum

From ProofWiki
Jump to navigation Jump to search


Let $\left({S, \preceq}\right)$, $\left({T, \precsim}\right)$ be ordered sets.

Let $f: S \to T$ be a increasing mapping.

Let $D \subseteq S$ such that

$D$ admits a infimum in $S$ and $f\left[{D}\right]$ admits a infimum in $T$.

Then $f\left({\inf D}\right) \precsim \inf \left({f\left[{D}\right]}\right)$


By definition of infimum:

$\inf D$ is lower bound for $D$.

By Increasing Mapping Preserves Lower Bounds:

$f\left({\inf D}\right)$ is lower bound for $f\left[{D}\right]$.

Thus by definition of infimum:

$f\left({\inf D}\right) \precsim \inf \left({f\left[{D}\right]}\right)$