1: \begin{definition}

2: \label{logtopos}

3: Let \(f\) be a morphism between two objects \(V_i\rightarrow X\) over \(X\). We

4: denote the restriction of \(f\) to \(V_1^{\circ}\) by $f^{\circ}$.

5: 

6: We define a site \(X_{\log}\) as follows: an object of \(X_{\log}\) consists of

7: arrows

8: \[

9:   N \xrightarrow{f} V \xrightarrow{g} X

10: \]

11: (denoted by $(V,N)$) such that 

12: \begin{enumerate}

13: \label{condition}

14: \item the morphism $g$ is \'{e}tale;

15: \item $N$ is normal;

16: \item the morphism $f$ is finite with $f^{\circ}$ being \'{e}tale and;

17: \item $f^{-1}(D)$ is nowhere dense in $N$.

18: \end{enumerate}

19: A morphism in this site between $(V,N)$ and

20: $(V',N')$ is given by a pair $(p,q)$ of two maps in a commutative diagram:

21: \[

22:   \xymatrix{

23:     N \ar[r]^q \ar[d] & N' \ar[d] \\

24:     V \ar[r]^p        & V'.

25:   }

26: \]

27: 

28: The morphisms 

29: \[

30: \{(p_i,q_i):(V_i,N_i) \rightarrow (V,N)\}

31: \]

32: form a covering if $N=\bigcup q_i(N_i)$. 

33: Notice that by~\Cref{lemmopen0} (2) below, the image of \(N_i\) in \(N\) are open subsets.

34: 

35: Similarly, for a $V \to X$ \'{e}tale over $X$ we can define a subsite $V_{\mathrm{f,log}}$

36: whose objects are consisting of $N \xrightarrow{f} V$ satisfying condition~\ref{condition}(2)-(4).

37: The morphisms are just usual morphisms in the category of rigid spaces over $V$.

38: Note that by~\cite[Theorem 1.6]{Hansen17}, we have $V_{\mathrm{f,log}} \cong V^{\circ}_{\mathrm{f\acute{e}t}}$.

39: \end{definition}

40: