Естественно Упорядоченный Группоид

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