Proper Noun
A topological game invented by the Polish mathematician Mazur in order to illustrate the difference between sets of the first category and second category.