Description: An ortholattice is a poset. (Contributed by NM, 16-Oct-2011) (New usage is discouraged.)