Kuratowski-Ulam theorem

Etymology
Introduced by Kazimierz Kuratowski and Stanislaw Ulam (1932).

Proper noun

 * 1)  An analog of Fubini's theorem for arbitrary second countable Baire spaces.