ABSTRACT
This chapter will study smooth equivalence relations in greater detail. They constitute important tools for the investigation of stochastic relations. We have seen already that smooth relations occur naturally when looking at a classification of relations through algebras for the associated monad in Section 3.1. There we had a look at an equivalence relation that occurred as the kernel of a Borel map.
