Abundant Semigroups of Transformations Preserving an Equivalence Relation