Intersection of Subsemigroups

Theorem
Let $$\left({S, \circ}\right)$$ be a semigroup.

Let $$\left({T_1, \circ}\right)$$ and $$\left({T_2, \circ}\right)$$ be subsemigroups of $$\left({S, \circ}\right)$$.

Then the intersection of $$\left({T_1, \circ}\right)$$ and $$\left({T_2, \circ}\right)$$ is itself a subsemigroup of that $$\left({S, \circ}\right)$$.

If $$\left({T, \circ}\right)$$ is that intersection of $$\left({T_1, \circ}\right)$$ and $$\left({T_2, \circ}\right)$$, it follows that $$\left({T, \circ}\right)$$ is also a subsemigroup of both $$\left({T_1, \circ}\right)$$ and $$\left({T_2, \circ}\right)$$.

Proof
Let $$T = T_1 \cap T_2$$ where $$T_1, T_2$$ are subsemigroups of $$\left({S, \circ}\right)$$. Then:

Thus $$\left({T, \circ}\right)$$ is closed, and is therefore a semigroup from the Subsemigroup Closure Test.

The other results follow from this and Intersection Subset.