Baire space
"X" の部分集合 "A" が残留的 ("residual", "comeagre") であるとは、その補集合 "X" ∖ "A" が痩せていることを言う。位相空間 "X" がベール空間であるための必要十分条件は、"X" の任意の残留的部分空間が稠密になることである。