Finite semigroup