# Name for a linear space of functions closed under inequalities

Consider $D$ a set and $X$ a linear space of functions $D \rightarrow \mathbb{R}$ s.t. for any $f \in X$ and $g: D \rightarrow \mathbb{R}$, if $\lvert g \rvert \leq \lvert f \rvert$ then $g \in X$. Such spaces naturally arise as classes of asymptotic behaviors, for example if $D = \mathbb{N}$ and $h: \mathbb{N} \rightarrow \mathbb{R}$, we can take $X := \{f: \mathbb{N} \rightarrow \mathbb{R} \mid \lvert f \rvert = O(h)\}$. If $D$ has extra structure we can restrict consideration to functions satisfying certain conditions e.g. if $D$ is a topological space we can consider only continuous functions.

Is there a name for $X$ like that?

• I don't know an "official" name, but I might call it "downward closed". – Nate Eldredge Feb 28 '16 at 18:32