inverse

For some group element \(x\), the unique element \(y\) for which \(x+y\) is the identity element relative to the binary group operator \(+\) (\(y\) is usually denoted as \(-x\)).