c8c5232a0d6283fb.tex
1: \begin{definition}
2:   Let $\cS$ be a set of diffeomorphism types of balanced sutured
3:   manifolds containing $[(M,\g)]$, and let $F \colon \G(\cS) \to \C$
4:   be a strong Heegaard invariant. If $H$ and $H'$ are isotopy diagrams
5:   of $(M,\g)$, then let
6:   \[
7:   F_{H,H'} = F(\eta),
8:   \]
9:   where $\eta$ is an arbitrary oriented path connecting $H$ to~$H'$.
10:   By Theorem~\ref{thm:iso}, the map $F_{H,H'}$ does not depend on the
11:   choice of~$\eta$.
12: \end{definition}
13: