Mazur game

Proper noun

 * 1)  A topological game invented by the Polish mathematician  in order to illustrate the difference between sets of the first category and second category.