If $X$ is a proper scheme over $K$ with a line bundle $L$, then we denote the analytifications by ${X^{\rm an}}$ and ${L^{\rm an}}$ (in the category of Berkovich spaces). By formal completion, every algebraic ${K^{\circ}}$-model $({\mathscr{X}},{\mathscr{L}})$ of $(X,L)$ induces a formal ${K^{\circ}}$-model $(\hat{{\mathscr{X}}},\hat{{\mathscr{L}}})$ of $({X^{\rm an}},{L^{\rm an}})$. Note that the special fiber ${\mathscr{X}}_{s}$ of ${\mathscr{X}}$ is canonically isomorphic to the special fiber of the formal completion $\hat{{\mathscr{X}}}$ and hence the above yields a reduction map $\pi:{X^{\rm an}}\to{\mathscr{X}}_{s}$. Let $Y$ be an irreducible component of ${\mathscr{X}}_{s}$ with generic point $\zeta_{Y}$, then the points of the finite set $\pi^{-1}(\zeta_{Y})$ are called divisorial point associated to $Y$. We set $X^{\rm div}$ for the set of all divisorial points associated to algebraic ${K^{\circ}}$-models of $X$.