Define `Involutive` in terms of `Cancel`.

As suggested by @jung in 18f83bcb (comment 37911)

LGTM. I don't know the context in which you want to use this, though.

The use case is simple, I just want to write Involutive f as in math :)

mentioned in commit 5e6e9a20

merged