Incline (source code)
= Incline
An incline has two associative commutative operations $+$ and multiplication, with multiplication distributing over addition, idempotent addition and absorption $x+xy=x$. Neither operation is required here to have an identity. Its natural order is $x\le y\iff x+y=y$, making addition a <join>. Multiplication is <order-preserving>, and products lie below both factors. A finitely generated incline is well-quasi-ordered by its reversed natural order, via the <reverse-inclusion well-quasi-ordering of monomial ideals> applied to exponent supports.
Back to article page
