Talk:Interval of Ordered Set is Convex

How do we extend the notion of interval to tosets without confusion? --Dfeuer (talk) 09:17, 13 February 2013 (UTC)


 * I don't know. Admittedly I never use that notion of interval. Also, at the end of the day it's just an order-convex set, no? --Lord_Farin (talk) 09:20, 13 February 2013 (UTC)


 * It depends on exact definitions. The analogy to the reals gives a bounded order-convex set. I don't know what's the most common definition. --Dfeuer (talk) 09:24, 13 February 2013 (UTC)


 * The reals surely also admit unbounded intervals... --Lord_Farin (talk) 09:25, 13 February 2013 (UTC)


 * These beasts be slippery.  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)


 * I don't particularly have an opinion, mind you, except I like using similar terminology for similar things. If interval = convex set, then I won't throw a fit..... --Dfeuer (talk) 09:33, 13 February 2013 (UTC)