Inverse with respect to an operation