diff --git a/docs/src/main/mdoc/typeclasses/ring.md b/docs/src/main/mdoc/typeclasses/ring.md
index 91a61ffa9..40a951866 100644
--- a/docs/src/main/mdoc/typeclasses/ring.md
+++ b/docs/src/main/mdoc/typeclasses/ring.md
@@ -21,7 +21,7 @@ Notes on rings:
 - A ring does not necessarily have an identity under `*` (called the *multiplicative identity*).
 - A ring is not necessarily commutitive under `*`.
 - A ring does not necessarily satisfy the inverse property under `*`.
-- There is not necessarily any special property of the additive identity under multiplication.
+- For any x ∈ R, `0*x = x*0 = 0`.
 
 A few other types of rings: