Proper noun
Mazur game (topology) A topological game invented by the Polish mathematician Stanisław Mazur in order to illustrate the difference between sets of the first category and second category.