Real interval (source code)

= Real interval
{wiki=Interval_(mathematics)}

A real interval contains every real number lying between any two of its elements.