Definition talk:Closed Interval

Not sure if Definition:Closed Interval should redirect to something about ordered sets. --barto (talk) 06:24, 4 August 2017 (EDT)