The study of definable equivalence relations on complete separable metric spaces (i.e., Polish spaces) has emerged as a new direction of research in descriptive set theory over the past twenty years. Quotients of such equivalence relations include the orbit space of an ergodic group action, the set of Turing degrees of subsets of natural numbers, and the space of isomorphism classes of countabl...