Algebraic duality for partially ordered sets

Roman R. Zapatrin

For an arbitrary partially ordered set $P$ its {\em dual} $P^{\ast }$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*…