Description: An atomic covering lattice has the exchange property. ( atexch analog.) (Contributed by NM, 5-Nov-2012)