Facts About Closures
The set is closed if and only if . In particular, the closure of the empty set is the empty set, and the closure of itself is . The closure of an intersection of sets is always a subset of (but need not be equal to) the intersection of the closures of the sets. In a union of finitely many sets, the closure of the union and the union of the closures are equal; the union of zero sets is the empty set, and so this statement contains the earlier statement about the closure of the empty set as a special case. The closure of the union of infinitely many sets need not equal the union of the closures, but it is always a superset of the union of the closures.
If is a subspace of containing, then the closure of computed in is equal to the intersection of and the closure of computed in : . In particular, is dense in if and only if is a subset of .
Read more about this topic: Closure (topology)
Famous quotes containing the word facts:
“In spite of the air of fable ... the public were still not at all disposed to receive it as fable. I thence concluded that the facts of my narrative would prove of such a nature as to carry with them sufficient evidence of their own authenticity.”
—Edgar Allan Poe (1809–1849)