Нелогичность приведённого свойства править

Мне ведь не кажется, что первое свойство из перечисленных здесь — это утверждение, просто обратное определению самой выпуклой функции, данному в статье выпуклая функция?

"Надграфик функции является выпуклым множеством <...>, когда [функция] является выпуклой," — приведённое здесь свойство. А функция является выпуклой, если её "надграфик является выпуклым множеством," — из определения выпуклой функции на соответствующей странице. 13:24, 8 декабря 2017 (UTC)