The Smooth Ideal

We give a classical proof of the generalization of the characterization of smoothness to quotients of Polish spaces by Borel equivalence relations. As an application, we describe the extent to which any given Borel equivalence relation on a Polish space is encoded by the corresponding σ-ideal generated by the family of Borel sets on which it is smooth.