1: \begin{definition}\label{StandingNotation}

2: 	Let $\alpha$ be an action of an inverse semigroup $S$ on an algebra $A$

3: 	satisfying the equivalent conditions of Theorem (\ref{sdproductbundle}). The \emph{crossed product}

4: 	algebra $A \rtimes_{\alpha} S$ is defined to be the cross-sectional

5: 	algebra of the semi-direct product bundle

6: 	$\mathcal{B}^{\alpha}$ associated with $(\alpha, S, A)$.

7: 	We shall denote by $\mathcal{J}_{\alpha}$ the ideal defined

8: 	in (\ref{RedundanceIdeal}) and $q_{\mathcal{J}_{\alpha}}$ the

9: 	quotient map from $\mathcal{L}(\mathcal{B}^{\alpha})$

10: 	to $A \rtimes_{\alpha} S$.

11: \end{definition}

12: