Let {bn} denote the set
of elements of a free ordered arithmetical semi-group with multiplication
and a known counting function. Using the corresponding terminology of
arithmetic let bn= dδ and let τ′(bn) denote the number of divisors d of bn
where both d are δ and square free. Then it is shown here that T(x) defined
by