# An example of a separable poset with certain property

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 $\star x \subseteq \star y$ does not imply $x \sqsubseteq y$ (where $\sqsubseteq$ denotes our order) for elements $x$, $y$ of this poset.