A field is a commutative ring (henceforth abbreviated simply as , with multiplicative identity and additive identity ) which additionally has the property that every nonzero element has a multiplicative inverse: for every there is such that . Conventionally we insist that a field must have more than one element: equivalently, .