 Determined infinite game

An infinite game of perfect information is determined when one of its two players has a winning strategy in an infinite game.