Baire space
ベール空間とは、空でない任意の開部分集合が第 2 類であるような位相空間のことである。