1: \begin{definition} 

2: % $\FFF=\{i_{\alpha \beta}:\bool{B}_\alpha\to \bool{B}_\beta:\alpha \leq \beta < \lambda\}$ is a \emph{complete iteration system} of complete boolean algebras iff for all $\alpha \leq \beta \leq \gamma < \lambda$:

3: %	\begin{enumerate}

4: %		\item $\bool{B}_\alpha$ is a complete boolean algebra and $i_{\alpha \alpha}$ is the identity on it;

5: %		\item $i_{\alpha \beta}$ is a complete injective homomorphism and 

6: %		$\pi_{\alpha\beta}:\bool{B}_\beta\to\bool{B}_\alpha$ given by 

7: %		$c\mapsto\bigwedge\bp{b\in\bool{B}:i_{\alpha\beta}(b)\geq c}$ is its associated 

8: %		adjoint\footnote{See Theorem~\ref{eRetrProp} for the relevant properties of the adjoint map.};

9: %		\item $i_{\beta \gamma}\circ i_{\alpha \beta}=i_{\alpha \gamma}$.

10: % \end{enumerate}

11: %

12: %Let $\FFF$ be a complete iteration system of length $\lambda$. Then:

13: %

14: %\begin{itemize}

15: %\item

16: % The \emph{inverse limit} of the iteration is

17: %	\[

18: %	\varprojlim(\FFF) = \bp{ f \in \prod_{\alpha < \lambda} \bool{B}_\alpha : ~ \forall \alpha \forall \beta > \alpha ~ \pi_{\alpha \beta}\circ f(\beta) = f(\alpha) }

19: %	\]

20: %	and its elements are called \emph{threads}. 

21: %\item

22: %	The \emph{direct limit} is

23: %	\[

24: %	\varinjlim(\FFF) = \bp{ f \in \varprojlim(\FFF) : ~ \exists \alpha \forall \beta > \alpha ~ f(\beta) = i_{\alpha\beta}(f(\alpha)) }

25: %	\]

26: %	and its elements are called \emph{constant threads}. 

27: %	The support of a constant thread $\supp(f)$ is 

28: %	the least $\alpha$ such that $i_{\alpha\beta}\circ f(\alpha)=f(\beta)$ for all $\beta\geq\alpha$. 

29: %\end{itemize}	

30: %\end{definition}

31: