Axiom:Axioms of Uncertainty/Axiom 2

Axiom Schema
$H$ fulfils the following axiom: For any permutation $\pi$ of $\tuple {1, 2, \dotsc, n}$:
 * $\map H {p_1, p_2, \ldots, p_n} = \map H {p_{\map \pi 1}, p_{\map \pi 2}, \ldots, p_{\map \pi n} }$

That is, $H$ is a symmetric function of the arguments $p_1, p_2, \dotsc, p_n$.