Description: The projection of a half-open interval onto a single dimension is a subset of RR . (Contributed by Glauco Siliprandi, 11-Oct-2020)