Harsányi introduced the concept of type space in an intuitive way. Later Heifetz and Samet formalized it. Harsányi used conditional probabilities to model the beliefs of the players, Heifetz and Samet avoided using conditional probabilities formally. We show that in both cases the concept of...