# Definition:Finite Semigroup

Jump to navigation Jump to search

## Definition

A finite semigroup is a semigroup of finite order.

That is, a semigroup $\left({S, \circ}\right)$ is a finite semigroup if and only if its underlying set $G$ is finite.

That is, a finite semigroup is a semigroup with a finite number of elements.