palavras-chave Aperiodic semigroup Equidivisible semigroup Labeled linear order Pseudovariety Pseudoword Relatively free profinite semigroup