Rule of Commutation

Formulation 2
Its abbreviation in a tableau proof is $\text{Comm}$.

Also see

 * Rule of Association
 * Principle of Commutation