Closure_of_Finite_Union_equals_Union_of_Closures
Provedproofwikiset-closuresset-union
Let be a topological space. Let . Let Then
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Closure_of_Finite_Union_equals_Union_of_Closures {α : Type _} [TopologicalSpace α] (s t : Set α) : closure (s ∪ t) = closure s ∪ closure t := by sorrySource