Ordered Abelian GroupLast updated Nov 1, 2022# DefinitionAn Abelian Group that is a Left Ordered Group.