Condition for Complete Bipartite Graph to be Edgeless

Theorem
Let $G = \struct {A \mid B, E} =: K_{m, n}$ be the complete bipartite graph with $m$ vertices in $A$ and $n$ vertices in $B$.

Then:
 * $K_{m, n}$ is edgeless either $m = 0$ or $n = 0$.

Proof
Consider $K_{m, n}$ where both $m > 0$ and $n > 0$.

Then:
 * $\exists u \in A, v \in V: \set {u, v} \in E$

and it follows by definition that $K_{m, n}$ is not edgeless.

Consider $K_{m, n}$ where either $m = 0$ or $n = 0$.

Hence one of the partite sets of $G$ is empty.

Hence there are no vertices for the vertices in the other partite set to be adjacent to.

So $K_{m, 0}$ and $K_{0, n}$ are edgeless. Hence the result.