Definition:Real Interval/Notation/Wirth

Definition
The notation used on this site to denote a real interval is a fairly recent innovation, and was introduced by :

The term Wirth interval notation has consequently been coined by.

General Ordered Set
The notation applies to the general ordered set: