Subset is Left Compatible with Ordinal Addition

Theorem
Let $x, y, z$ be ordinals.

Then:


 * $x \le y \implies \left({z + x}\right) \le \left({z + y}\right)$

Proof
The result follows from Membership is Left Compatible with Ordinal Addition.