Lattices in quasiordered sets
Ivan Chajda · Czech digital mathematics library · 1992
Let Q be a quasiorder on a set A. It is shown that the factor set A/QnQ" 1 ordered by an induced order Q/QciQ" 1 is a lattice if and only if A can be equiped by two binary operations satisfying identities similar to those of lattices. Key vords: