Rule of Idempotence

Theorem
The rule of idempotence is two-fold:

Disjunction
Its abbreviation in a tableau proof is $\textrm{Idemp}$.