Field

From Queer Beagle Wiki

A ring \(R \) is a field if every nonzero element is a unit. Thus field implies domain.