Diyelim ki A, R'nin sınırlı ve boştan farklı bir alt kümesi ve f:R→R herhangi bir fonksiyon olsun. Basit bir örnekle gösterilebilir ki, f(supA)=supf(A) eşitliği her zaman sağlanmak zorunda değil. Peki bu eşitliğin sağlanması için f fonksiyonu üzerine hangi koşul(lar) konmalıdır?