Ordered Linear Function Definition