Математическая энциклопедия - естественно упорядоченный группоид

частично упорядоченный группоид Н, в к-ром все элементы положительны (т. е. и для любых а,и больший из двух элементов всегда делится (и справа и слева) на меньший, т. е. из а<b следует ах=уа=b для некоторых х,Положительный конус любой частично упорядоченной группы является естественно упорядоченной полугруппой.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985