Proposition 3.2 (Proposition 4.7 in [1]}) 

The partial order \(\prec \)  has maximal elements. Furthermore, for every maximal element \(x\) , the equivalence class \(E(x)\) 
is either finite or a Cantor set.

