Large filters of quasiorder lattices can be generated by few elements

Abstract

For a poset $(P;\le )$, the quasiorders (AKA preorders) extending the poset order "$\le$" form a complete lattice $F$, which is a filter in the lattice of all quasiorders of the set $P$. We prove that if the poset order "$\le$" is small, then $F$ can be generated by few elements.

arXiv comment18 pages, 2 figures. An error has been corrected and the theorem is stated in a new form. Furthermore, arXiv:2303.10790 made the cryptographic section superfluous, so this section has been omitted