# Talk:Interval of Ordered Set is Convex

These beasts be slippery. $\mathsf{Pr} \infty \mathsf{fWiki}$ currently defines Definition:Real Interval/Open to be bounded, defines Definition:Real Interval/Unbounded Open to be what I would call an open ray, and defines a Definition:Real Interval, before going into all these things, to be something that excludes the possibility that it's unbounded. --Dfeuer (talk) 09:31, 13 February 2013 (UTC)
That is indeed the case - because when "real interval" is usually encountered, it is supposed that it is bounded at either end. Thus the default position. The case when one of the endpoints is $\pm \infty$ is less commonly encountered, at least in basic analysis. Hence the more specific definition first, the more general one following - and the most general one of all, where $\R$ itself is considered as a degenerate case of a real interval, added at the end to ensure completeness. As it stands, it works. I would counsel against structural amendments. --prime mover (talk) 12:39, 13 February 2013 (UTC)