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.

See this short article with a diagram of such a poset.

Leave a Reply