Es fácil comprobar que esta función verifica los tres axiomas de Kolmogórov y, por tanto, constituye una probabilidad sobre este conjunto.