Description: The meet of an ortholattice element with one equals itself. (Contributed by NM, 22-May-2012)