Se f : |R --> |R é uma função afim crescente de raiz r < 0, g : |R --> |R  uma função linear decrescente e h : A --> |R é uma função definida por h(x) = , então, o conjunto A, mais amplo possível, é dado por