 When two elements \(x, y\) of a monoid satisfy \(xy = 1\) we say that \(x\) is the left inverse of \(y\) and \(y\) is the right inverse of \(x\). An element \(y\) that is both a left and right inverse of \(x\) is called simply an inverse of \(x\).