Let $(X,d)$ be a complete metric space. I need some explanations about the class of all functions like $f$ which have $f:X \to \mathbb{R}\cup\{ +\infty\}$, be a lower bounded and, for all $y \in X$ we have the set $\{x \in X : f(x) \leq f(y)\}$ is closed.
I know this class is a Pure super-set of family of lower semi continuous lower bounded functions, and the subset of (sequentially) lower monotone lower bounded functions. I am not sure, if this class is a pure subset of (sequentially) lower monotone lower bounded or not.
I think it is better to mention my meaning by sequentially lower monotonicity : f is said to be (sequentially) lower monotone(lower semi continuous from above), if for all decreasing sequence $\{ f(x_n)\}_{n \in \mathbb{N} }$, the condition $\lim_{n\to \infty} x_n=x_0$ implies $f(x_0)\leq \liminf_{n \to \infty}f(x_n).$ Some references called this class to partially lower semi continuous, and some others called this lower semi continuous from above.