1: \begin{definition}\label{def:strong-functor}

2:   Let $\cS$ be a set of diffeomorphism types of balanced sutured

3:   manifolds, and let $F \colon \G(\cS) \to \Ab$ be a strong Heegaard

4:   invariant. Fix a balanced sutured manifold $(M,\g)$ with $[(M,\g)]

5:   \in \cS$, and suppose that $H$ and $H'$ are isotopy diagrams of

6:   $(M,\g)$. We say that the elements $x \in F(H)$ and $y \in F(H')$

7:   are \emph{equivalent}, in short $x \sim y$, if $y = F_{H,H'}(x)$.

8:   By Theorem~\ref{thm:iso}, % and Corollary~\ref{cor:comp},

9:   this is an equivalence relation on the disjoint union $\coprod_{H

10:     \in |\G_{(M,\g)}|} F(H)$. The equivalence class of an element $x

11:   \in F(H)$ is denoted by $[x]$. Under the natural addition operation,

12:   these equivalence classes form an abelian group that we call

13:   $F(M,\g)$. Furthermore, let $I_H \colon F(H) \to F(M,\g)$ be the

14:   isomorphism that maps $x$ to $[x]$.

15: 

16:   If $\phi \colon (M,\g) \to (M',\g')$ is a diffeomorphism, then we

17:   define

18:   \[

19:   F(\phi) \colon F(M,\g) \to F(M',\g')

20:   \]

21:   as follows. Pick an isotopy diagram $H = (\S,A,B)$ of $(M,\g)$, and

22:   let $d = \phi|_\S$. Then $H' = d(H)$ is an isotopy diagram of

23:   $(M',\g')$, and $d$ is a diffeomorphism from $H$ to $H'$, so it

24:   induces a map $F(d) \colon F(H) \to F(H')$. We define the

25:   isomorphism $F(\phi)$ as $I_{H'} \circ F(d) \circ (I_H)^{-1}$. So we

26:   have a commutative diagram

27:   \[

28:   \xymatrix{F(H) \ar[r]^{F(d)} \ar[d]^{I_H} & F(H') \ar[d]^{I_{H'}} \\

29:     F(M,\g) \ar[r]^{F(\phi)} & F(M',\g').}

30:   \]

31: \end{definition}

32: