[Mavvie]

That's actually the formula for nullipotency, where applying it 0 times is the same as applying it any number of times.

I believe idempotency is when f(f(x)) = f(x)