1: \begin{abstract}

2:   We consider implicit signatures over finite semigroups determined by

3:   sets of pseudonatural numbers. We prove that, under relatively simple

4:   hypotheses on a pseudovariety \pv V of semigroups, the finitely

5:   generated free algebra for the largest such signature is closed under

6:   taking factors within the free pro-\pv V semigroup on the same set of

7:   generators. Furthermore, we show that the natural analogue of the

8:   Pin-Reutenauer descriptive procedure for the closure of a rational

9:   language in the free group with respect to the profinite topology

10:   holds for the pseudovariety of all finite semigroups. As an

11:   application, we establish that a pseudovariety enjoys this property if

12:   and only if it is full. 

13: \end{abstract}

14: