Identity of Cardinal Sum is Zero

Theorem
Let $\mathbf a$ be a cardinal.

Then:
 * $\mathbf a + \mathbf 0 = \mathbf a$

where $\mathbf a + \mathbf 0$ denotes the sum of the zero cardinal and $\mathbf a$.

That is, $\mathbf 0$ is the identity element of the sum operation on cardinals.

Proof
Let $\mathbf a = \operatorname{Card} \left({A}\right)$ for some set $A$.

From Union with Empty Set we have $A \cup \varnothing = A$.

From Intersection with Empty Set we have $A \cap \varnothing = \varnothing$.

So $A$ and $\varnothing$ are disjoint and so: