Transformation semigroup

A **transformation semigroup** is a mathematical structure in the field of abstract algebra and functional analysis that consists of all transformations (functions) from a set to itself, along with an operation that describes how to combine these transformations. More formally, a transformation semigroup can be defined as follows: 1. **Set**: Let \( X \) be a non-empty set.