# Definition:Local Ring/Commutative/Definition 3

Let $A$ be a commutative ring with unity.
Let $M \subseteq A$ be the subset of the non-units of $A$.
The ring $A$ is local if and only if $M$ is a proper ideal of $A$.