Inductive boundsT : Set := Bounds {
  (** The minimum inclusive value on the X axis. *)
  boundsXMinimum : R;
  (** The maximum inclusive value on the X axis. *)
  boundsXMaximum : R;
  (** The minimum inclusive value on the Y axis. *)
  boundsYMinimum : R;
  (** The maximum inclusive value on the Y axis. *)
  boundsYMaximum : R;
  (** The minimum inclusive value on the Z axis. *)
  boundsZMinimum : R;
  (** The maximum inclusive value on the Z axis. *)
  boundsZMaximum : R
}.
