Increasing Function Definition Algebra