Normal-valued lattice-ordered group
= 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.