Semigroup theory, semigroup identities, completely o-simple semigroups, transformation semigroups, universal algebra