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

* Omari Norman <omari@smileystation.com> [2014-06-04 10:34:22-0400]

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.

This is similar to the inverse semigroup definition (but note the different order of the operands). https://en.wikipedia.org/wiki/Inverse_semigroup Roman