Definition:Subband

Definition
Let $\left({S, \circ}\right)$ be an algebraic structure.

Let $T \subseteq S$ such that $\left({T, \circ {\restriction_T}}\right)$ is a band, where $\circ_{\restriction_T}$ is the restriction of $\circ$ to $T$.

Then $\left({T, \circ {\restriction_T}}\right)$ is a subband of $S$.

It is usual, for the sake of simplicity, for the same symbol to be used for both $\circ$ and its restriction.

Notation
Thus we refer to $\left({T, \circ}\right)$, and we write:


 * $\left({T, \circ}\right) \subseteq \left({S, \circ}\right)$