Idempotence is a replacement rule in logic that says that P is identical to P ^ P and P v P. You will find indempotence useful as a means of eliminating excess information and as a tool in a proof by cases.
Idempotence is also a really cool word to say.