Just for fun, here is an alternative proof of the fact that every graph $G=(V,E)$ has a minimal vertex cover, using the well-ordering theorem instead of Zorn's lemma.

Let $\lt$ be a well-ordering of $V$. Define a subset $C\subseteq V$ recursively so that
$$v\in C\iff\{u\in V:u\lt v,\ uv\in E\}\not\subseteq C.$$
Plainly $C$ is a minimal vertex cover of $G$.

If we want the minimal vertex cover $C$ to be contained in a given vertex cover $C_0$, we choose a well-ordering in which every element of $V\setminus C_0$ precedes every element of $C_0$, and apply the same construction.