Cayley table
Consider the semigroup "S" = { "a", "b", "c", "d", "e" } with the binary operation defined by the following Cayley table: