Definition boundsZOrder (b : boundsT) : Prop :=
  (boundsZMinimum b) <= (boundsZMaximum b).
