Definition:Endpoint of Real Interval