1: \begin{definition} 

2: 	\label{def:con_meas_alg}

3: 	For a measure space $(X,\Sigma,\mu)$, $(\frak B,\bar\mu)$, as constructed in Theorem~\ref{meas_alg}, is called the {\bf measure algebra} of $(X,\Sigma,\mu)$.

4: \end{definition}