Notation 2.11 Fix a complete nonarchimedean field \(K\)  with valuation ring \(V \subset K\)  and a pseudouniformizer \(t \in V\) . For any map \(A \rightarrow B\)  of \(V\) -algebras, write \(L^{an}_{B/A}\)  for the derived \(t\) -completion of \(L_{B/A}\) . A tft (or topologically finite type) \(V\) -algebra is a \(V\) -algebra \(A\)  of the form \(V[x_1,...,x_n]^{\wedge }/I\)  (where the completion is \(t\) -adic). If moreover \(I\)  is finitely generated, we say that \(A\)  is tfp (or topologically finitely presented). The class of tfp \(V\) -algebras has good properties such as coherence and classical \(t\) -adic completenesss, see [1]}. Moreover, any tft \(V\) -algebra which is \(t\) -torsion-free is in fact tfp, see [2]}.

