In the κ-saturated nonstandard models,the definition of the universal Loeb-measurability of finite measure is extended to σ-finite measure,and the universal measurability of finite measure in product Loeb space is extended to σ-finite measure product Loeb space.The theories about the universal Loeb-measurability of sets in σ-finite measure product Loeb space is obtainded.