Definition boundsXOrder (b : boundsT) : Prop :=
  (boundsXMinimum b) <= (boundsXMaximum b).
