Category:Closure of Real Interval is Closed Real Interval