Ordered Linear Function Equation