Axiom:Axioms of Uncertainty/Axiom 4

Axiom
${H_n}$ fulfils the following axiom:
 * $\map {H_{n + 1} } {p_1, p_2, \ldots, p_n, 0} = \map {H_n} {p_1, p_2, \ldots, p_n}$

For example: a $7$-sided die which has no chance of showing a $7$, but is otherwise fair, has the same uncertainty as a fair $6$-sided die.