Define inverse OP when required

[txellext]

As a good practice every OP may have a corresponding inverse property.