ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2973 on D2424: Set of real intervals
The four classes of real intervals under reflection