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