Let be a subset of a metric space. Then the set is open if every point in has a neighborhood lying in the set. An open set of radius and center is the set of all points such that , and is denoted . In one-space, the open set is an open interval. In two-space, the open set is a disk. In three-space, the open set is a ball.
More generally, given a topology (consisting of a set and a collection of subsets ), a set is said to be open if it is in . Therefore, while it is not possible for a set to be both finite and open in the topology of the real line (a single point is a closed set), it is possible for a more general topological set to be both finite and open.
The complement of an open set is a closed set. It is possible for a set to be neither open nor closed, e.g., the half-closed interval .