Convex lattice subgroup
= Convex lattice subgroup
A <convex subgroup of an ordered group> that is also closed under <join> and <meet>. A normal convex lattice subgroup is the kernel of the quotient <lattice-ordered group homomorphism>.
= Convex lattice subgroup
A <convex subgroup of an ordered group> that is also closed under <join> and <meet>. A normal convex lattice subgroup is the kernel of the quotient <lattice-ordered group homomorphism>.