Definition
A subset U of a topological space (X, τ) that belongs to the topology τ; equivalently, for every point x in U there exists a neighborhood (an open set from τ) contained in U.

Principle

Principle
Open sets are the basic building blocks of a topology: arbitrary unions and finite intersections of open sets remain open, and both the empty set and the whole space are open.

Demonstration

Demonstration
In a metric space, an open set is any union of open balls; for example, the open interval (0,1) in the real line with the usual topology is open because every point has a sufficiently small radius ball contained in (0,1).

Misapplication

Misapplication
Treating any subset as open without reference to the topology (for example claiming a single point is open in the standard Euclidean line) or confusing openness with having no boundary; this misleads arguments about continuity or limit points.

Consequence

Consequence
Openness characterizes continuity (preimages of open sets are open), neighborhood systems, interior operations, and the local behavior of functions; many topological invariants and separation axioms are stated in terms of open sets.

Reversal

Reversal
The dual notion is a closed set (complement of an open); reasoning purely with closed sets is equivalent but shifts perspective to limits and closures rather than neighborhoods and interior points.

Boundary

Boundary
Depends entirely on the chosen topology; a set may be open in one topology and not in another. The concept excludes statements about measures, differentiability, or algebraic structure unless the topology encodes them.

Semantic Tension

Semantic Tension
Competes with the notion of closed set and with notions like measurable or dense sets; the tension is between local (neighborhood/interior) descriptions given by open sets and global descriptions given by closedness or closure.

Synthesis

Synthesis
An open set is a topology-member whose points admit local neighborhoods contained inside it; it is the local/neighborhood notion that, via unions and finite intersections, generates the topological structure and underpins continuity and interior operations.