He worked on the foundations of combinatorial topology, and proposed that a notion of equivalence be defined using only three elementary "moves".
Он работал над фондами комбинаторной топологии и предложил, чтобы понятие эквивалентности было определено, используя только три элементарных шага.