Definition:

probability