\begin{definition}[Definition:Division Algebra/Definition 2]
Let $\left({A_F, \oplus}\right)$ be an algebra over field $F$ such that $A_F$ does not consist solely of the zero vector $\mathbf 0_A$ of $A_F$.
$A$ is a division algebra {{iff}} it has no zero divisors:
:$\forall a, b \in A_F: a \oplus b = \mathbf 0_A \implies a = \mathbf 0_A \lor b = \mathbf 0_A$
\end{definition}