If F1(·) and F1(·) are distribution functions, then the function F(·)

is called the convolution of distribution functions F1 and F2. This is often denoted as
.
The convolution
provides the distribution function of the sum of two independent random variables with distribution functions F1 and F2.