1: \begin{definition}[$\Sigma^1$]

2: The Invariance Theorem ensures controlled connectivity is a property

3: of the action $\rho$, so we define

4: \[\Sigma^1(\rho) = \{ e \in \boundaryinf M

5: \mid \rho \textrm{ is controlled connected over } e\} \]

6: \end{definition}

7: