  We study the categories of discrete modules for topological rings arising as
the rings of operations in various kinds of topological K-theory. We prove that
for these rings the discrete modules coincide with those modules which are
locally finitely generated over the ground ring.
