حلقة مرتبة هي حلقة تبادلية R مزوَّدة بترتيب كلي ≤ بحيث يكون الترتيب متناغمًا مع الجمع والضرب: إذ يُحفظ عند إضافة نفس العنصر فلو كان a ≤ b فـ a+c ≤ b+c، كما يكون الضرب غير السالب مع عناصر غير سالبة فلو ٠ ≤ a و٠ ≤ b فـ ٠ ≤ ab.

سبحان الله