With help of sci.math crowd it was demonstrated an example that there exist a (finite) poset, which is separable (in the sense defined in this book), but $latex \star x \subseteq \star y$ does not imply $latex x \sqsubseteq y$ (where $latex \sqsubseteq$ denotes our order) for elements $latex x$, $latex y$ of this poset.