ЕСТЕСТВЕННО УПОРЯДОЧЕННЫЙ ГРУППОИД
- частично упорядоченный группоидН,в к-ром все элементы положительны (т. е. и для любыха,и больший из двух элементов всегда делится (и справа и слева) на меньший, т. е. изаследуетах=уа=bдля некоторыхх,Положительный конус любой частичноупорядоченной группыявляется естественно упорядоченной полугруппой.