Over the last 20 years, the theory of Borel equivalence relations and related topics have been very active areas of research in set theory and have important interactions with other fields of mathematics, like ergodic theory and topological dynamics, group theory, combinatorics, functional analysis, and model theory. The book presents, for the first time in mathematical literature, all major aspects of this theory and its applications.