Let denotes the set of filters on a poset , ordered reversely to set theoretic inclusion of filters. Let for a lattice element denote its sublattice . Let denotes the set of complemented elements of the lattice .
Conjecture is order-isomorphic to for every filter on a set. If they are isomorphic, find an isomorphism.