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.
生成讲解博客的中文版本
生成AI智能校验的中文版本