Let be random variables with realizations , . The empirical distribution function based on is
The empirical function can be alternatively and equivalently defined by using the order statistics of as: