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

[David Thomas]

If you have associativity, this seems roughly the same as saying there
is an additive inverse for every x, because x + x - x = x => x + (x -
x) = x => x + 0 = x.

On Wed, Jun 4, 2014 at 7:34 AM, Omari Norman <omari at smileystation.com> wrote:
> 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.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>