Baire space
位相空間"X" がベール空間であるとは、"X" 上の稠密開集合の可算個の共通部分が必ず稠密になることを言う。