Definition
distribution function
a function
F
:
ℝ
→
[
0
,
1
]
F: \mathbb{R} \to [0, 1]
such that
F
F
is right-continuous
F
F
is monotone non-decreasing
lim
x
↓
−
∞
F
(
x
)
=
0
\lim_{x \downarrow -\infty} F(x) = 0
and
lim
x
↑
∞
F
(
x
)
=
1
\lim_{x \uparrow \infty} F(x) = 1