C M such that /Me= h. 2. It follows now that f g = e, and since f is dense this makes it an isomorphism. 2, CM is the ideal lattice of M and hence normal so that CL is normal. On the other hand, given that Lis finitely fine, a V b = e in L implies (/L) .. (a) V (IL)*(b) = e in CL, and the normality of the latter then implies that L is normal.