Equivalence of Definitions of Convex Real Function