Let be a finite alphabet.
The probability simplex is the set

For example, in with we have: