ABSTRACT
The study of Markov transition systems and stochastic relations as their mathematical foundation requires some familiarity with concepts from topology and measure theory when one wants to investigate phenomena that go beyond elementary observations. For example, when discussing behavioral equivalence, one wants to factor the state space of the transition system, and encounters then the problem that one has to determine the structure of the factor space. Thus one is led to an analysis of an analytic space. Similarly, when looking for the converse of a stochastic relation one is all of a sudden confronted with problems of disintegration of a measure on a product space.
