Definition:Operation Induced by Restriction

Definition
Let $\left({S, \circ}\right)$ be a magma.

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

That is, let $T$ be a subset of $S$ such that $\circ$ is closed in $T$.

Then the restriction of $\circ$ to $T$, namely $\circ \restriction_T$, is called the (binary) operation induced on $T$ by $\circ$.

Note that this definition applies only if $\left({T, \circ}\right)$ is closed, by which virtue it is a submagma of $\left({S, \circ}\right)$.

Also known as
The notation $\circ_T$ is also found for $\circ \restriction_T$.