Description: The predicate "is a lattice." (Contributed by NM, 18-Oct-2012) (Revised by NM, 12-Sep-2018)