Residuality of Families of F-sigma Sets
  We prove that two natural definitions of residuality of families of F-sigma sets are equivalent. We make use of the Banach-Mazur game in the proof. 
Shingo Saito