Representing the Smallest Ideal and it's closure in the semigroup ($β$N,.) as equivalence classes under the extension of divisibility relations

Representing the Smallest Ideal and it's closure in the semigroup ($β$N,.) as equivalence classes under the extension of divisibility relations