Cone-saturated

In mathematics, specifically in order theory and functional analysis, if C is a cone at 0 in a vector space X such that 0 ∈ C, then a subset S of X is said to be C-saturated if S = [S]_C, where [S]_C := (S + C) ∩ (S − C). Given a subset S of X, the C-saturated hull of S is the smallest C-saturated subset of X that contains S.[1] If ${\displaystyle {\mathcal {F}}}$ is a collection of subsets of X in X then ${\displaystyle \left[{\mathcal {F}}\right]_{C}:=\left\{[F]_{C}:F\in {\mathcal {F}}\right\}}$.

If ${\displaystyle {\mathcal {T}}}$ is a collection of subsets of X and if ${\displaystyle {\mathcal {F}}}$ is a subset of ${\displaystyle {\mathcal {T}}}$ then ${\displaystyle {\mathcal {F}}}$ is a fundamental subfamily of ${\displaystyle {\mathcal {T}}}$ if every ${\displaystyle T\in {\mathcal {T}}}$ is contained as a subset of some element of ${\displaystyle {\mathcal {F}}}$. If ${\displaystyle {\mathcal {G}}}$ is a family of subsets of a TVS X then a cone C in X is called a ${\displaystyle {\mathcal {G}}}$-cone if ${\displaystyle \left\{{\overline {\left[G\right]_{C}}}:G\in {\mathcal {G}}\right\}}$ is a fundamental subfamily of ${\displaystyle {\mathcal {G}}}$ and C is a strict ${\displaystyle {\mathcal {G}}}$-cone if ${\displaystyle \left\{\left[B\right]_{C}:B\in {\mathcal {B}}\right\}}$ is a fundamental subfamily of ${\displaystyle {\mathcal {B}}}$.[1]

C-saturated sets play an important role in the theory of ordered topological vector spaces and topological vector lattices.