Page "C0-semigroup" Paragraph 1

Formally, a strongly continuous semigroup is a representation of the semigroup ( R < sub >+</ sub >,+) on some Banach space X that is continuous in the strong operator topology.

Thus, strictly speaking, a strongly continuous semigroup is not a semigroup, but rather a continuous representation of a very particular semigroup.