A (unital) **ring** is a [[rng]] with a multiplicative [[identity element]] ![[rng]]