Every self-dual ordering has a self-dual linear extension (Q581422)

A poset \((P;\leq)\) is called self-dual if it is order isomorphic to its dual \((P;\leq^*)\) where \(x\leq^*y\) iff \(x\geq y\). An antiordermorphism \(f\) from \((P,\leq)\) into itself is called self-dual if \(f^2= \text{id}\). If \((P;\leq)\) is self-dual then there is a linear extension \(\leq'\) for which \((P;\leq')\) admits a self-dual mapping.