Some relational properties of inv_image.

There doesn't seem to be anything to be said about anti-symmetry.