A definição de semi-grupo é um conjunto não vazio S juntamente com uma operação binária associativa, ou seja, para quaisquer a, b, c \in S, a equação (a \cdot b) \cdot c = a \cdot (b \cdot c) é satisfeita. Ou seja, um semi-grupo é um conjunto com uma operação que é fechada e associativa.
\textbf{Resposta:} A definição de semi-grupo é um conjunto não vazio com uma operação binária que é associativa.