Definition
The mathematical theory for modelling uncertainty and random phenomena by specifying probability spaces (sample space, sigma-algebra, probability measure), random variables, distributions, and limit theorems that relate finite and asymptotic behavior.