The intersection of free submonoids of a free monoid is free.
Let be a numerical semigroup. In this work we show that is a distributive lattice, which in addition is a Frobenius restricted variety. We give an algorithm which allows us to compute the set for a given As a consequence, we obtain another algorithm that computes all the elements of with a fixed genus.