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.
A similar argument works for hypergraphs with (nonempty) finite edges; just define $$v\in C\iff\exists e\in E\ [\max e=v,\ (e\setminus\{v\})\cap C=\emptyset].$$