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

2: The noise-type Boolean algebra $ C $ of Theorem \ref{1d2} is called

3: the \emph{noise-type completion} of a noise-type Boolean algebra $ B

4: $.

5: \end{definition}

6: