palavras-chave Implicit operation Locally idempotent and commutative Pseudovariety R-trivial semigroup