A group G is called strongly restrained if there exists an integer n s
uch that [x((y))] be generated by n elements for all x, y in G. We sho
w that a group G is polycyclic-by-finite if and only if G is a finitel
y generated strongly restrained group in which every nontrivial finite
ly generated subgroup has a nontrivial finite quotient. This provides
a general setting for various results in soluble and residually finite
groups that have appeared recently.