∀ {X : Type u_1} {Y : Type u_2} {Z : Type u_3} [inst : MetricSpace X] [inst_1 : MetricSpace Y] [inst_2 : Nonempty Z]
  (Φ : Z → X) (Ψ : Z → Y) (ε : ℝ) (H : ∀ (p q : Z), |dist (Φ p) (Φ q) - dist (Ψ p) (Ψ q)| ≤ 2 * ε),
  (Bornology.cobounded (X ⊕ Y)).sets = {s | ∃ C, ∀ x ∈ sᶜ, ∀ y ∈ sᶜ, Metric.glueDist Φ Ψ ε x y ≤ C}