Description: A Hilbert lattice has the exchange property. Part of Definition 7.8 of MaedaMaeda p. 32. (Contributed by NM, 15-Nov-2011) (New usage is discouraged.)