 Normal-valued lattice-ordered group

A lattice-ordered group is normal-valued when every value in a lattice-ordered group is a normal subgroup of its cover. Normality in the cover is weaker than normality in the entire group. Every linearly ordered group is normal-valued.