union — Mathlib

English

The union of two bounded sets is bounded (simp).

Русский

Объединение ограниченных множеств ограничено (упрощено).

LaTeX

$$$ IsVonNBounded 𝕜 (s_1 \cup s_2) \iff IsVonNBounded 𝕜 s_1 \land IsVonNBounded 𝕜 s_2 $$$

Lean4

/-- The union of two bounded sets is bounded. -/
theorem union {s₁ s₂ : Set E} (hs₁ : IsVonNBounded 𝕜 s₁) (hs₂ : IsVonNBounded 𝕜 s₂) : IsVonNBounded 𝕜 (s₁ ∪ s₂) :=
  isVonNBounded_union.2 ⟨hs₁, hs₂⟩

Похожие утверждения