left-ordered group

Мат. левоупорядоченная группа