1: \begin{definition}

2: Let $k,m \in \N$ satisfy $m \geq k$. For $[a,b] \subseteq \R$, $x \in [a,b]$, $\phi > 0$,

3: and an ensemble $E:\intint{m} \times [a,b] \to \R$, we define the event $\close \big( k; E,x,\phi \big)$ that 

4: $$

5:  E(i,x) - E(k,x) \in (0,\phi) \, \, \, \, \textrm{for each $i \in \intint{k-1}$} \, .

6: $$

7: When the ensemble $E$ is ordered, this event is specified by the condition that $E(1,x) < E(k,x) + \phi$, consistently with the usage of this notation in Theorem~\ref{t.airynt}.

8: 

9: The parameter $k$ will be consistently used when the $\close$ event is studied, and we will use the shorthand $\close \big(  E,x,\phi \big)$. 

10: \end{definition}

11: