1: \begin{definition}\label{definition_K_cts}

2: For each affinoid $F$-algebra $R$, its {\em continuous $K$-theory} $K^\sub{cts}(R)$ is defined\footnote{Everything in this section would probably remain valid if $\op{holim}_sK(R_0/\pi^sR_0)$ were replaced by the pro spectrum $\{K(R_0/\pi^sR_0)\}_s$, though care would be required with the descent assertions in Theorem~\ref{theorem_cts}.} to be the homotopy pushout of the diagram of spectra

3: \[\xymatrix{

4: K(R_0) \ar[r]\ar[d] & K(R)\\

5: \op{holim}_sK(R_0/\pi^sR_0) & 

6: }\] where $R_0\subset R$ is any subring of definition (i.e., a open and bounded subring of $R$) and $\pi$ is any topologically nilpotent unit of $F$.

7: \end{definition}

8: