In reply to prashantg:
The LRM is following rules defined for a value range
If the bound to the left of the colon is greater than the bound to the right, the range is empty and contains no values.
The proposed 1800-2023 LRM adds a cross-reference to that section to maker it clearer that covergroups are using those rules.