[Haskell-cafe] Is there a name for this property: x + x - x == x

[Omari Norman]

It's not quite idempotence, because more than one function is involved.

It's a common property and I figure I can write a higher order function to
build QuickCheck tests for it.  I was just wondering if it has a name.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140604/f29c6264/attachment.html>