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