  We discuss combinatorial conditions for the existence of various types of
reductions between equivalence relations, and in particular identify necessary
and sufficient conditions for the existence of injective reductions.
