Description: An atomic covering lattice has the exchange property. Part of Definition 7.8 of MaedaMaeda p. 32. (Contributed by NM, 5-Nov-2012) (New usage is discouraged.)