1: \begin{definition}

2: \label{def:rof}

3: A scheduling policy $\mathbf{P}$ is said to be in the class of \textbf{Oldest 

4: Packets First (OPF)} policies if policy $\mathbf{P}$ satisfies the sufficient 

5: condition in Theorem~\ref{thm:suff-rf}.

6: \end{definition}