Residuality of Families of F-sigma Sets

Shingo Saito

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.