Description: No Hilbert lattice element is smaller than zero. (Contributed by NM, 14-Aug-2002) (New usage is discouraged.)