Quasi-order


See also

Session HOL-Lattice