1. Отображение , даёт точку такую, что в зависимости от значения .
  2. Теперь можно ввести определение выпуклой (вверх) функции:

Это определение можно обобщить для произвольного