If $E$ is a distributive lattice with measurable binary operations $E\times E\ni(x,y)\mapsto x\wedge y$ and $E\times E\ni(x,y)\mapsto x\vee y$, then the "order statistics'' can be defined by the formula 
\begin{equation}\label{eq:wedge-vee}
	X_{n:j}:=\bigwedge\Big\{\bigvee_{i\in J}X_i\colon J\in\binom{[n]}j\Big\} 
=\bigvee\Big\{\bigwedge_{i\in J}X_i\colon J\in\binom{[n]}{n+1-j}\Big\}
\end{equation}
for $j\in[n]:=\{1,\dots,n\}$, with $\binom{[n]}j$ denoting the set of all subsets $J$ of the set $[n]$ such that the cardinality of $J$ is $j$; cf. [formulas (1.2)--(1.4)][1]. 

As explained in that paper in the paragraph right after (1.4), if $E$ is not a distributive lattice, then the two dual to each other natural expressions for $X_{n:j}$ in the above display may differ from each other, and thus no reasonable definition of $X_{n:j}$ will seem possible. 


  [1]: https://arxiv.org/abs/1902.05520v1