\begin{definition}[Definition:Minimal Uncountable Well-Ordered Set]
Let $\Omega$ be an uncountable well-ordered set.
Then $\Omega$ is the '''minimal uncountable well-ordered set''' if every initial segment in $\Omega$ is countable.
\end{definition}