Baire space
位相空間がベール空間であるとは、内部が空であるような閉集合からなる任意の可算族の合併は必ず内部が空になるときに言う。