Inclines are additively idempotent semi rings in which products are less than or equal to either factor.

• 摘要坡是个加法幂等，乘法小于或等于其因子的半环。