Decreasing Linear Definition