Description: The isomorphism B for a lattice K is one-to-one in the region under co-atom W . (Contributed by NM, 24-Feb-2014) (New usage is discouraged.)