The above definition is easily generalized to the analytic setting: Let $L$ be a line bundle on a paracompact strictly $K$-analytic variety $V$. A formal ${K^{\circ}}$-model $({\mathfrak{V}},{\mathfrak{L}})$ of $(V,L)$ is called nef if $\deg_{\mathfrak{L}}(C)\geq 0$ for any closed curve $C$ in the special fiber ${\mathfrak{V}}_{s}$ which is proper over ${\tilde{K}}$. A formal metric ${\|\hskip 4.30554pt\|}$ on $L$ is called semipositive if there is a nef formal ${K^{\circ}}$-model $({\mathfrak{V}},{\mathfrak{L}})$ of $(V,L)$ such that ${\|\hskip 4.30554pt\|}={\|\hskip 4.30554pt\|}_{\mathfrak{V}}$.