Let F be a family of
functions from an abstract set X to a compact metric space W. This paper
contains the following result: If F satisfies the iterated limit condition (see §1
below) then any function f0: X → W that is pointwise limit of elements of F
can be expressed as the pointwise limit of a sequence extracted from F.
Various generalizations are discussed, and applications are given to measure
theory.