By using binary, a proving on the equivalence of convexity of function is
given, which discloses the equivalence of two definitions on convexity of function
with semi-continuous and shows the essential relations between semi-continuity and
convexity.