# Smallest Element WRT Restricted Ordering

Jump to navigation
Jump to search

## Theorem

Let $\preceq$ be an ordering on $S$.

Let $T$ be a subset or subclass of $S$.

Let $\preceq'$ be the restriction of $\preceq$ to $T$.

Let $m \in T$.

Then $m$ is the $\preceq$-smallest element of $T$ iff $m$ is the $\preceq'$-smallest element of $T$.