Equivalence of Definitions of Real Interval