On repeated sequential closures of constructible functions in valuations

The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of the former space is equal to the latter one. This stronger property is necessary for some applications in the theory of valuations on manifolds.