Lattices contained in planar orders are planar

Richard Nowakowski, Ivan Rival, Jorge Urrutia
1992 Algebra Universalis  
The covering graph of a lattice which is contained in an ordered set with a planar covering graph is itself planar.
doi:10.1007/bf01190783 fatcat:gcirgbz6lve47psnz4oumndx64