palavras-chave Aperiodic semigroup Pointlike set Profinite semigroup Profinite topology Pseudovariety Regular language Topological closure