imperfect information is introduced in the games by stipulating that certain histories are indistinguishable for the associated player; indistinguishable histories are said to form an 'information set'. intuitively, if the history formula_75 is in the information set formula_104, the player associated to formula_75 does not know whether he is in formula_75 or in some other history of formula_104.