Example image of eyePlorer eyePlorer map for 'Property of Baire': Meagre set Open set Symmetric difference Topological space Banach–Mazur game Determinacy Polish space Adequate pointclass Axiom of projective determinacy Large cardinal property Projective hierarchy Axiom of choice Vitali set Boolean prime ideal theorem Ultrafilter Axiom of dependent choice Bernstein set Borel determinacy theorem Axiom of determinacy Pointclass Universally Baire set Topological game L(R) Matthew Foreman Woodin cardinal Fine topology (potential theory) Analytic set Descriptive set theory