precedes some other member of

, and the whole of

is therefore included in the segment defined by

. Take, for example, the class consisting of the fractions

i.e. of all fractions of the form