Let be a Game Tree and be a I-Imposed Subgame Tree of . Let and be Game Spaces for and respectively. Given a Game , where , we can define a game . Then we say that is a winning subgame tree if every play in leads to I victory.