ベール空間
A subset "A" of the Baire space is universally Baire if it has the following equivalent properties: