The purpose of this article is to show Fubini’s theorem on measure , , , , . Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in , we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.
 Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications. Wiley, 2nd edition, 1999.
 P. R. Halmos. Measure Theory. Springer-Verlag, 1974.
 Andrzej Nędzusiak. _-fields and probability. Formalized Mathematics, 1(2):401-407, 1990.
 M.M. Rao. Measure Theory and Integration. Marcel Dekker, 2nd edition, 2004.
 Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.
 Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, and Hiroyuki Okazaki. Inferior limit, superior limit and convergence of sequences of extended real numbers. Formalized Mathematics, 15(4):231-236, 2007. doi: 10.2478/v10037-007-0026-3.
 Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Limit of sequence of subsets. Formalized Mathematics, 13(2):347-352, 2005.
 Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Some equations related to the limit of sequence of subsets. Formalized Mathematics, 13(3):407-412, 2005.