Term enumerations are always ordered by Term.compareTo(). Each term in the enumeration is greater than all that precede it.
Term enumerations are always ordered by Term.compareTo(). Each term in the enumeration is greater than all that precede it.