Description: The Hilbert lattice has the covering property. (Contributed by NM, 11-Jun-2004) (New usage is discouraged.)