Definition:Product Inverse Operation/Linguistic Note