The present work is based upon our monograph "The Bidual of [italic capital]C([italic capital]X)" ([italic capital]X being compact). We generalize to the bidual the theory of Lebesgue integration, with respect to Radon measures on [italic capital]X, of bounded functions. The bid…