Kuratowski–Ulam theorem
In mathematics, the Kuratowski–Ulam theorem, introduced by Kazimierz Kuratowski and Stanislaw Ulam (1932), called also the Fubini theorem for category, is an analog of Fubini's theorem for arbitrary second countable Baire spaces. Let X and Y be second countable Baire spaces (or, in particular, Polish spaces), and let A ⊂ X × Y {\displaystyle A\subset X\times Y} .