enclosedness

Enclosedness is a descriptive term used to express how a set, region, or object is surrounded by a boundary or by a larger enclosing structure. It is used across mathematics and related fields to discuss how interior, boundary, and exterior relations are arranged for a given entity.

In geometry, a region is often described as enclosed when its boundary forms a closed curve (in the plane) or a closed surface (in higher dimensions), separating the interior from the exterior. Such enclosed regions are typically referred to as being inside or bounded by their boundary. The Jordan curve theorem is a foundational result in the plane that formalizes this intuition by guaranteeing a well-defined interior for simple closed curves.

In topology and analysis, the formal notions associated with enclosedness center on hull and closure operations. The closure of a subset A in a topological space X is the smallest closed set that contains A, effectively capturing all points that cannot be separated from A by the space’s open sets. The interior is the largest open set contained in A. The boundary, defined as the difference between the closure and the interior, marks the “edge” where enclosedness transitions to the outside. Boundedness is another form of enclosedness: a set is bounded if it can be enclosed within some finite-radius ball.

Enclosure operators generalize these ideas in order theory and related disciplines. An enclosure operator assigns to each subset A another set E(A) that is extensive (A ⊆ E(A)), monotone (if A ⊆ B, then E(A) ⊆ E(B)), and idempotent (E(E(A)) = E(A)). Examples include closure, convex hull, and algebraic hull.

Enclosedness informs practical work in computational geometry, geographic information systems, and data analysis, where measurements of how a region or cluster is captured by a boundary or enclosing structure are important. See also boundary, closure, hull, and convex hull.