Null String has Length Zero

Definition
Let $\epsilon$ denote the null string.

Then:
 * $\size \epsilon = 0$

where $\size \epsilon$ denotes the length of $\epsilon$.

Proof
Follows directly from the definitions of null string and string length.