Cardinal Zero is Less than Cardinal One

Theorem
The zero cardinal $0$ is less than one:
 * $0 < 1$

Proof
We have that the Cardinals are Totally Ordered.

Let $\mathcal R \subseteq \varnothing \times \left\{{\varnothing}\right\}$ be any arbitrary relation between $\varnothing$ and $\left\{{\varnothing}\right\}$.

We have that $\mathcal R$ is vacuously many-to-one.

Also vacuously, $\mathcal R$ is left-total.

Thus by definition, $\mathcal R$ is in fact a mapping.

From Empty Mapping is Unique, this relation $\mathcal R$ is the unique mapping from $\varnothing$ \to $\left\{{\varnothing}\right\}$.

Also vacuously, $\mathcal R$ is an injection.

So, by definition, $\left\{{\varnothing}\right\}$ dominates $\varnothing$.

Since Empty Set Subset of All, we have $\varnothing \subseteq \left\{{\varnothing}\right\}$.

Hence the result.