mathematical inverse

inverse element with respect to binary operation given as a qualifier using P2210