 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.