Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings.