Seja uma função real tal que , para todo real, onde , , , são números reais. Se para todo do conjunto , temos, então, que: