When thinking about open or closed sets, it is a good idea to bear in mind a few basic facts.

• First, a subset of (or any metric space, but this does not apply to all topological spaces) is closed if and only if whenever is a sequence of elements of that converges to a limit , then that limit belongs to as well. In other words a set is closed (in the sense of having a complement that is open) if and only if it is closed under taking limits.

• Second, if , then is continuous if and only if is an open subset of whenever is an open subset of . (Again, this holds for arbitrary metric spaces. It also holds for topological spaces, but then it is the definition of continuity.)

• Third, a closed bounded subset of is compact (but a closed bounded subset of an arbitrary metric space does not have to be compact).

• Fourth, a finite intersection of open sets is open and any union of open sets is open; and similarly a finite union of closed sets is closed and any intersection of closed sets is closed.

Which of the following descriptions best fits your problem?

• I am trying to prove that a certain set is open or closed.

  • In that case, an obvious approach is to begin your proof by saying "Let ," and going on to try to prove that there must be some such that whenever the distance between and is less than . But often it is much cleaner to use the basic facts above. For some examples, see the article To prove that a set is open or closed, use basic theorems rather than direct arguments.