\begin{definition}[Definition:Local Ring/Noncommutative/Definition 4]
Let $R$ be a ring with unity.
$R$ is a '''local ring''' {{iff}}:
:$R$ is nontrivial
:the sum of any two non-units of $R$ is a non-unit of $R$.
\end{definition}