Definition talk:Interval/Notation/Wirth

Can we please extend this notation to totally ordered sets generally? --Dfeuer (talk) 14:37, 10 January 2013 (UTC)
 * For least ambiguity, we can use $(a..)$ or similar for unbounded intervals so that we can have bounded intervals involving an $\infty$ element.--Dfeuer (talk) 15:36, 10 January 2013 (UTC)


 * On this site, the notation for that is ${\uparrow} \left({a}\right)$; see Definition:Strict Upper Closure. --abcxyz (talk) 15:41, 10 January 2013 (UTC)