1: \begin{definition}

2: \label{Def-balanced-pro-homology}Given a pro-space $\mathbf{X=}\left(

3: X_{i}\right) _{i\in \mathbf{I}}\in \mathbf{Pro}\left( \mathbf{TOP}\right) $,

4: let $\mathbf{C}_{\ast }^{b}\left( \mathbf{X},G\right) $ be the tensor

5: product in the sense of Theorem \ref{Th-tensor-product} 

6: \begin{equation*}

7: \mathbf{C}_{\ast }^{b}\left( \mathbf{X},G\right) :=\mathbf{C}_{\ast }\left( 

8: \mathbf{X},\mathbb{Z}\right) \otimes _{\mathbb{Z}}G\in \mathbf{Pro}\left( 

9: \mathbf{CHAIN}\left( \mathbb{Z}\right) \right) .

10: \end{equation*}%

11: where $\mathbf{C}_{\ast }\left( \mathbf{X},\mathbb{Z}\right) $ is the

12: pro-complex from Definition \ref{Def-pro-homology}. $\mathbf{C}_{\ast

13: }^{b}\left( \mathbf{X},G\right) $ can be represented by an inverse system%

14: \begin{equation*}

15: \mathbf{C}_{\ast }^{b}\left( \mathbf{X},G\right) =\left( \left( Y_{\ast

16: }\right) _{j}\right) _{j\in \mathbf{J}}.

17: \end{equation*}%

18: Let $\mathbf{H}_{n}^{b}\left( \mathbf{X},G\right) $ be the corresponding

19: pro-homology group:%

20: \begin{equation*}

21: \mathbf{H}_{n}^{b}\left( \mathbf{X},G\right) :=\left( H_{n}\left(

22: Y_{j}\right) \right) _{j\in \mathbf{J}}.

23: \end{equation*}%

24: Given a topological space $X$, let $X\rightarrow \mathbf{X=}\left(

25: X_{i}\right) _{i\in \mathbf{I}}$ be a strong polyhedral expansion. Define%

26: \begin{equation*}

27: \mathbf{H}_{n}^{b}\left( X,G\right) :=\mathbf{H}_{n}^{b}\left( \mathbf{X}%

28: ,G\right) .

29: \end{equation*}

30: \end{definition}